λProlog and the Calculus of Inductive Constructions

Advanced

@LPCIC

Let's boost λProlog to implement an elaborator for CIC!

0 views 0 projects

Apply