SabrinaJewson / CoC

A toy implementation of the Calculus of Constructions

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

SabrinaJewson/CoC Issues

No issues in this repository yet.