Skip to content
View minthari's full-sized avatar
🎯
Focusing
🎯
Focusing
3 followers · 10 following

Block or report minthari

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Maximum 250 characters. Please don't include any personal information such as legal names or email addresses. Markdown supported. This note will be visible to only you.
Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse

Pinned Loading

  1. INSA-_Internship_2023 INSA-_Internship_2023 Public

    This Repository is dedicated for my Internship exercises which are I commenced under the supervision of Professor Vincent Hugot. This is all about Theory of Automata.

  2. PythonProjects PythonProjects Public

    "Welcome to our Python Small Projects for Fun repository! Dive into a world of creativity and coding as we explore various engaging and entertaining Python projects.

  3. Automata-Ebook-Collection Automata-Ebook-Collection Public

  4. CTL_Model_Checker CTL_Model_Checker Public

    This Python code provides a comprehensive framework for performing Computation Tree Logic (CTL) model checking on a given transition system.

    Python 1