[IL Semantics] Meta-theory in rocq#222
Draft
DCupello1 wants to merge 12 commits into
Draft
Commits
Commits on Feb 14, 2026
Commits on Feb 17, 2026
Commits on Feb 23, 2026
Commits on Feb 25, 2026
Commits on Mar 18, 2026
Commits on Apr 13, 2026
Commits on Apr 14, 2026
- committed