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
lean-automata
Proving theorems about regular languages and DFAs in Lean