from Hacker News

Dedukti: Logical Framework Based on the λΠ-Calculus

by presheaf on 11/26/22, 9:28 PM with 0 comments