VincentSe

Pinned Repositories

corn
Coq Repository at Nijmegen [maintainers=@spitters,@VincentSe,@Lysxia]
Language:Coq112 14 3945
dedekind-reals
A formalization of the Dedekind real numbers in Coq [maintainer=@andrejbauer]
Language:Coq43 9 86
coq
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.
Language:OCaml4.9k 104 10.1k662
color
Coq library on rewriting theory and termination
Language:Coq35 3 1121
coqprime
Prime numbers for Coq
Language:Coq37 3 2718
coq
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.
Language:OCaml0 2 00
FemtoGPT
A very simplified transformer language model in C++
Language:C++1 1 00
godel
Arithmetization of mathematics
Language:Coq3 2 00
HilbertProofs
Hilbert-style formal proofs for mathematics
Language:C10 4 01
WatchTrees
Debugger extension for the Windows Debugging Tools (WinDBG, KD, CDB, NTSD). It add commands to manage watches.
Language:C++2 2 03

VincentSe's Repositories

VincentSe/HilbertProofs
Hilbert-style formal proofs for mathematics
Language:C10 4 01
VincentSe/godel
Arithmetization of mathematics
Language:Coq3 2 00
VincentSe/WatchTrees
Debugger extension for the Windows Debugging Tools (WinDBG, KD, CDB, NTSD). It add commands to manage watches.
Language:C++2 2 03
VincentSe/FemtoGPT
A very simplified transformer language model in C++
Language:C++1 1 00
VincentSe/coq
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.
Language:OCaml0 2 00