BAIT is a platform for accelerating research in the application of AI to Interactive Theorem-Proving (AI-ITP). Please see the website for the complete documentation and more information.
spacegoing / bait Goto Github PK
View Code? Open in Web Editor NEWThis project forked from sean-lamont/bait
Home Page: https://sean-lamont.github.io/bait/
License: Other