Popular repositories Loading

1. qecc qecc Public

   Rocq Prover 6

2. coq 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 develo…

   OCaml 1

3. DyNagoya-SOM DyNagoya-SOM Public

   Forked from newapplesho/DyNagoya-SOM

   Smalltalk

4. zfc-ssreflect zfc-ssreflect Public

   Forked from srbmiy/ssreflect

   ssreflect library

   Coq

5. lets-get-arrested lets-get-arrested Public

   Forked from hamukazu/lets-get-arrested

   This project is intended to protest against the police in Japan

   HTML

6. tpp2021 tpp2021 Public

   The 17th Theorem Proving and Provers meeting (TPP 2021)

   OCaml