This game is based on lean4game and serves to help students improve at conducting non-regularity proofs utilizing the pumping lemma for regular languages.
nlohrer/proof-game-pumping-lemma
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
This game is based on lean4game and serves to help students improve at conducting non-regularity proofs utilizing the pumping lemma for regular languages.