Plea

Plea is a Proof Language for Easy Amusement

Name		Name	Last commit message	Last commit date
Latest commit History 12 Commits
.gitignore		.gitignore
LICENSE		LICENSE
README.md		README.md
build.sh		build.sh
plea.c		plea.c
proof.plea		proof.plea

Provide feedback