Add Coq proof of standard library

ocaml-gospel · Dec 8, 2024 · c209ee8 · c209ee8
1 parent bc50274
commit c209ee8
Show file tree

Hide file tree

Showing 5 changed files with 3,992 additions and 0 deletions.
diff --git a/.gitignore b/.gitignore
@@ -3,3 +3,12 @@ _build/
 _opam/
 *.install
 *.merlin
+*.d
+.lia.cache
+*.conf
+*.vo
+*.vok
+*.vos
+*.aux
+*.glob
+*.gospel