Hacker News new | ask | show | jobs
Dedukti: Logical Framework Based on the λΠ-Calculus (deducteam.github.io)
1 points by presheaf 1296 days ago