Add models to proof app - Githubissues

lyk2018-python / deductive-reasoning

A tool for deductive reasoning

MIT License

15 stars 7 forks source link

Add models to proof app #2

Closed burcusalman closed 6 years ago