search

edggy / pyLemma

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

Library support #17

Open NJacob opened 7 years ago

NJacob commented 7 years ago

Might be a good idea to allow for importing specific subproofs from proof files

Hubert51 commented 7 years ago

Thank you!