Merge pull request #5 from pPomCo/decision

Decision [merge]
pPomCo · Oct 20, 2023 · d72d7bf · d72d7bf
2 parents 043572f + d0b5da0
commit d72d7bf
Show file tree

Hide file tree

Showing 29 changed files with 10,692 additions and 2,132 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,3 +1,11 @@
+# Perso
+*.dot
+*.pdf
+theories/_*
+.gitignore
+
+
+
 # Created by https://www.toptal.com/developers/gitignore/api/emacs,ocaml,coq
 # Edit at https://www.toptal.com/developers/gitignore?templates=emacs,ocaml,coq