drouhling

Pinned Repositories

coq-robot
Mathematics of Rigid Body Transformationss using Coq and MathComp
Language:Coq26 6 42
coq-robot
Language:Coq0 1 00
drouhling.github.io
Source files of https://drouhling.github.io/.
Language:HTML0 1 00
LaSalle
A formal proof of LaSalle's invariance principle
Language:Coq11 3 01
paramcoq
Coq plugin for parametricity
Language:OCaml1 2 00
real-closed
Theorems for Real Closed Fields
Language:Coq0 1 00
analysis
Mathematical Components compliant Analysis Library
Language:Coq206 18 36647

drouhling's Repositories

drouhling/LaSalle
A formal proof of LaSalle's invariance principle
Language:Coq11 3 01
drouhling/paramcoq
Coq plugin for parametricity
Language:OCaml1 2 00
drouhling/coq-robot
Language:Coq0 1 00
drouhling/drouhling.github.io
Source files of https://drouhling.github.io/.
Language:HTML0 1 00
drouhling/real-closed
Theorems for Real Closed Fields
Language:Coq0 1 00