validsdp's repositories
coq-floats-jfla2021
Flottants primitifs en Coq / Démo (https://git.io/JYhpS)
benchs-primitive-floats
Benchmarks for https://github.com/validsdp/coq/tree/primitive-floats
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:OCamlLGPL-2.1000
coq-interval
Fork de coq-interval pour le stage de Benjamin
platform
Multi platform setup for Coq, Coq libraries and tools
Language:ShellCC0-1.0000