add a meta-language for formal definitions#69
Merged
zerbina merged 12 commits intonim-works:mainfrom zerbina:formal-definitionJan 27, 2025
+1,677-787
Commits
Commits on Nov 12, 2024
Commits on Nov 17, 2024
Commits on Jan 22, 2025
- committed
- committed
- committed
- committed
- committed
- committed
