This repository contains a blueprint for the formalisation of some results in automata theory in Lean 4.
pitmonticone/autth
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Repository files navigation
Releases
No releases published
Languages
- TeX 35.4%
- HTML 20.7%
- Python 19.3%
- Lean 5.9%
- Ruby 5.6%
- Batchfile 3.5%
- Other 9.6%