voodoos / abella Goto Github PK
View Code? Open in Web Editor NEWThis project forked from abella-prover/abella
An interactive theorem prover based on lambda-tree syntax
Home Page: http://abella-prover.org/
License: GNU General Public License v3.0