Mathlib Changelog
v4
Changelog
About
Github
Structure
ContextFreeGrammar.{uN,uT}
Modification history
2025-02-10 11:41
Mathlib/Computability/ContextFreeGrammar.lean
chore(Computability/ContextFreeGrammar): remove unnecessary universe polymorphism (#21545) …
Deleted
ContextFreeGrammar.{uN,uT}
View on Github →
2023-10-13 12:52
Mathlib/Computability/ContextFreeGrammar.lean
feat(Computability/CFG): define context-free grammars (#6385)
Added
ContextFreeGrammar.{uN,uT}
View on Github →