mvl-lang

mvl-lang/mvl-spec

Formal specification of MVL

1 good first / help-wanted issue · C · last activity Jul 13, 2026

0 stars 0 forks 0 watchers C Apache License 2.0
View on GitHub
1 Open Issue Need Help Last updated: Jul 13, 2026

Open Issues Need Help

View All on GitHub
feat: Lean 4 mechanization + soundness theorem (Phase 9) 3 months ago
enhancement help wanted
mvl-lang/mvl-spec
0

Formal specification of MVL

C