justinfargnoli / koi

Compiler for the Calculus of Inductive Constructions

Geek Repo

Github PK Tool