Geeks
atarnoam
/
lean-automata
Proving theorems about regular languages and DFAs in Lean
Primary Language
Lean
lean-automata GitHub
Markdown
Readme
0
Issues
4
Stargazers
1
Watcher
Stargazers
EricGT
bryangingechen
alcides
Lisboa, Portugal
chabulhwi
Seoul, Republic of Korea (South Korea)