All Categories → No Category → proof-theory

Top 1 proof-theory open source projects

λΠ Programming Language Theory

✭ 4,609

CSS HTML javascript functional-programming category-theory type-theory logic proof-theory

1-1 of 1 proof-theory projects