edggy / pyLemma

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

Website Development Plan #6

Open AndreyChoi opened 7 years ago

AndreyChoi commented 7 years ago

The team needs to create a plan for what stack/frameworks will be used for creating the website. The website will feature both a proof creator app and a connection to the verification server.