Sign in
PLFArend.
Programming Language Foundations in Agda and Arend
github.com/marat-rkh/PLFArend
by
@marat-rkh
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
