search

edggy / pyLemma

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

Rough UI Layout #2

Open leed19 opened 8 years ago

leed19 commented 8 years ago

Use Tkinter to crate a rough layout for the front-end UI. Could be similar to Fitch.