search

edggy / pyLemma

A formal proof creating tool in Python
MIT License
1 stars 2 forks source link

Basic Website with Editor #14

Open AndreyChoi opened 7 years ago

AndreyChoi commented 7 years ago

The website should have a text editor for creating the proofs