/aristotle-ctt

Aristotle and Constructive Type Theory paper

Primary LanguageTeX

This repository is not active