/megaaxioms

Implementing a revised axiomatization based on http://softlang.uni-koblenz.de/megaaxioms/

Primary LanguageProlog

No issues in this repository yet.