smurf - Smurf interpreter in Clean

Branch	Commit message	Author	Age
master	LaTeX formatting for derivation trees	Camil Staps	9 years
prover	Comments	Camil Staps	9 years


Age	Commit message	Author	Files	Lines
2016-06-10	Commentsprover	Camil Staps	1	-6/+6
2016-06-10	Some fixes	Camil Staps	3	-27/+50
2016-06-10	Induction proofs using variables & assumptions	Camil Staps	7	-47/+121
2016-06-10	Minimalistic prover	Camil Staps	8	-62/+192
2016-06-06	LaTeX formatting for derivation treesHEAD master	Camil Staps	6	-6/+173
2016-05-26	Readme	Camil Staps	1	-3/+2
2016-05-26	Improved tree toString; reverse.smf	Camil Staps	3	-7/+23
2016-05-26	Overloading IO functions in step; POC derivation tree generation	Camil Staps	8	-31/+181
2016-04-29	fix toString for Push	Camil Staps	2	-2/+1
2016-04-27	Nicer cli	Camil Staps	10	-551/+191
[...]

Clone
git@git.camilstaps.nl:archived/clean/smurf
https://git.camilstaps.nl/archived/clean/smurf