Cloning of Client UI to Website

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

The website and client should have similar UIs for creating proofs, so a port of the interface should be done