Learn how easy it is to sync an existing GitHub or Google Code repo to a SourceForge project! See Demo

Close

Home

Douglas Perkins

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


Project Admins: