Mysaa/pieuvre
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge branch 'master' of gitlab.aliens-lyon.fr:savrillo/pieuvre

Browse Source
This commit is contained in:
Adrien Vannson 2022-05-10 11:48:58 +02:00
commit 46fa8ce223
No known key found for this signature in database
GPG Key ID: FE2E66FD978C1A55
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
README.md Normal file
View File

@ -0,0 +1,14 @@
The Pieuvre Proof Prover
=
# Presentation
# Note d'implementation
# Répartition du travail
### Adrien
### Samy
Fonctions de manipulation des λ-termes (pieuvre.ml)
Typecheck