Sign in
certified-lc.
use coq to verify stlc in a way that extracts to good haskell
github.com/LightAndLight/certified-lc
by
@LightAndLight
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
