pauline. Lean formalization of SML, mainly for educational purposes

github.com/T-Brick/pauline
by @T-Brick

Problem

Audience

Keep exploring

Updates

No founder updates yet. Check back soon.