Proof File Structure - Githubissues

edggy / pyLemma

A formal proof creating tool in Python

MIT License

1 stars 2 forks source link

Open AndreyChoi opened 7 years ago

AndreyChoi commented 7 years ago

Since proofs follow a very similar structure so the files can have a specialized compression