GitHub repository: sacerdot/Minimalist-Type-Theory-In-Lambda-Prolog
Primary language: Prolog
Description: An implementation in Lambda-Prolog of the Minimalist Type Theory