Home

Douglas Perkins

An ML-based automated theorem prover for propositional logic making use of an algorithm in the intercalation calculus.


Project Admins: