Popular repositories Loading

1. Geometry-Rocq Geometry-Rocq Public

   幾何学Ⅰ（ハーツホーン）ヒルベルトの公理系のRocq実装

   Rocq Prover

2. rocq-scurve rocq-scurve Public

   Forked from proof-ninja/rocq-scurve

   from proof-ninja

   Rocq Prover

3. IoPLMaterials IoPLMaterials Public

   Forked from kuis-isle3sw/IoPLMaterials

   Materials for the class "Implementation of Programming Languages" in Kyoto University.

   OCaml

4. rocq rocq Public

   Forked from proof-ninja/rocq

   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. Sudoku Sudoku Public

   Sudoku solver and maker in some languages

   Java

6. KostkaNumber KostkaNumber Public

   Kostka number

   Java