Sign in
sctt.
Type-Theory in Sequent Calculus
github.com/jyp/sctt
by
@jyp
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
