GitHub - antogon/ProjectProof: A program in Java to create proof tables from formal specifications. · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 46 Commits
lib		lib
nbproject		nbproject
src/projectproof		src/projectproof
test/projectproof		test/projectproof
.gitignore		.gitignore
Project2BadInput.txt		Project2BadInput.txt
Project2Input.txt		Project2Input.txt
build.xml		build.xml
manifest.mf		manifest.mf

About

A program in Java to create proof tables from formal specifications.

2 stars

4 watching

Report repository

Releases

Packages

Contributors

Languages