8000 PsychoLogician (Abolfazl) · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content
View PsychoLogician's full-sized avatar
đź’­
Thesis in progress
đź’­
Thesis in progress
3 followers · 5 following
  • University of Tehran

Achievements

Achievement: Quickdraw

Achievements

Achievement: Quickdraw

Block or report PsychoLogician

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.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, 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. IPC_plus_ALEM_is_CPC IPC_plus_ALEM_is_CPC Public

    Formalized: Intuitionistic Propositional Calculus (IPC) plus Atomic Law of the Excluded Middle (ALEM) is Classical Propositional Calculus (CPC)

    Coq 1

  2. A_ProgrammingLanuage_in_Coq A_ProgrammingLanuage_in_Coq Public

    An implementation of the programming language "S" used in the book: Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science

    Coq

  3. rocq-prover/rocq rocq-prover/rocq Public

    The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environmen…

    OCaml 5.1k 682

0