/ehol

A computational interpretation of extensional higher-order logic

No issues in this repository yet.