Pinned Repositories
ann-print-demo
autosubst-experiments
bmmc-perms-gpu
The code accompanying the paper "Efficient GPU implementation of a class of array permutations".
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.
coq-metaprogramming
coq-opam-archive
Archive for all Coq related OPAM packages organized in various repositories
coq-pprint
A modern Coq pretty-printing library
coq-pprint-playground
coq-push-negs
OS
MathisBD's Repositories
MathisBD/coq-pprint
A modern Coq pretty-printing library
MathisBD/OS
MathisBD/bmmc-perms-gpu
The code accompanying the paper "Efficient GPU implementation of a class of array permutations".
MathisBD/ann-print-demo
MathisBD/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.
MathisBD/coq-metaprogramming
MathisBD/coq-opam-archive
Archive for all Coq related OPAM packages organized in various repositories
MathisBD/coq-pprint-playground
MathisBD/coq-push-negs
MathisBD/mathisbd.github.io
MathisBD/monads-transformers-example
MathisBD/proof-assistants-project
The programming project of the MPRI-2-7-2 course "Proof Assistants".
MathisBD/proof-buddy
MathisBD/type-inference-project
Project for the course "Functional Programming and Type Systems" (MPRI 2.4)
MathisBD/metacoq
Metaprogramming, verified meta-theory and implementation of Coq in Coq