Skip to content

A common python interface to multiple theorem proves

License

Notifications You must be signed in to change notification settings

mmaroti/provers

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

35 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Provers

Just a simple python library to access multiple theorem provers through a common interface.

About

A common python interface to multiple theorem proves

Resources

License

Stars

Watchers

Forks

Packages

No packages published