cpdt-japanese
Popular repositories Loading
-
cpdt-japanese
cpdt-japanese PublicCertified Programming with Dependent Types (Japanese Translation)
-
coq
coq PublicForked from rocq-prover/rocq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive develo…
OCaml 1
Repositories
- coq Public Forked from rocq-prover/rocq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
cpdt-japanese/coq’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…