Skip to content

Top Best Ask Show New Jobs

Dedukti: Logical Framework Based on the λΠ-Calculus (opens in new tab)

(deducteam.github.io)

1 pointspresheaf3y ago0 comments

0 comments

No comments yet.