Public Notes by scott Tagged #coq

Notes publicly shared by our members.
View All Public Notes View Public Notesbooks
Welcome ! | The Coq Proof Assistant
coq.inria.fr
show more
programming-language pub
Gagallium : Formally verifying the complexity of OCaml programs with CFML -- part 1
gallium.inria.fr
show more
formal-logic ocaml proofs pub