Popular repositories Loading

1. HilbertProofs HilbertProofs Public

   Hilbert-style formal proofs for mathematics

   C 10 1

2. godel godel Public

   Arithmetization of mathematics

   Coq 3

3. WatchTrees WatchTrees Public

   Debugger extension for the Windows Debugging Tools (WinDBG, KD, CDB, NTSD). It add commands to manage watches.

   C++ 2 3

4. FemtoGPT FemtoGPT Public

   A very simplified transformer language model in C++

   C++ 1

5. 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