Mysaa/pieuvre
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
57 Commits 2 Branches 0 Tags
3c95807b7b8102fc56bc8d797abc68218128cfe2
T
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Adrien Vannson 3c95807b7b Irréfutabilité du tiers exclus
2022-05-16 23:41:30 +02:00
tests
Irréfutabilité du tiers exclus
2022-05-16 23:41:30 +02:00
.gitignore
Ajout des types et des fonctions à implémenter.
2022-05-03 12:00:36 +02:00
lexer.mll
Add comment
2022-05-16 23:25:49 +02:00
main.ml
Remove typecheck
2022-05-16 23:25:40 +02:00
Makefile
Tests
2022-05-10 11:48:53 +02:00
parser.mly
Ajout de Et, ou et des tests associés.
2022-05-16 04:01:23 +02:00
pieuvre.ml
Add spaces
2022-05-16 23:27:10 +02:00
README.md
Ajout du README
2022-05-10 11:25:25 +02:00
structs.ml
Ajout de Et, ou et des tests associés.
2022-05-16 04:01:23 +02:00
tactic.ml
Ajout de Et, ou et des tests associés.
2022-05-16 04:01:23 +02:00

README.md

The Pieuvre Proof Prover

Presentation

Note d'implementation

Répartition du travail

Adrien

Samy

Fonctions de manipulation des λ-termes (pieuvre.ml) Typecheck

Reference in New Issue View Git Blame Copy Permalink
S
Description
The Pieuvre® Proof Assistant
Readme
142 KiB
Languages
OCaml 90.5%
Roff 8.4%
Makefile 1.1%