Popular repositories Loading

1. coqpad coqpad Public

   証明検索No.1／定理の証明載せるなら コックパッド

   TypeScript 8

2. coqban coqban Public

   TypeScript 8

3. ocaml-blake3 ocaml-blake3 Public

   OCaml 6 2

4. merckletree_coq merckletree_coq Public

   Formal Verification of Merckle Proof algorithm in Coq

   Coq 4

5. scala-text-repo scala-text-repo Public

   Scala 3 2

6. coq-scaml coq-scaml Public

   SCaml Smart Contract Environment for Coq Provers

   Coq 2