GitHub - nanikamado/automaton-verification

A proof that the following NFA works as intended.

The proof is written in Lean.

Build

leanproject get-mathlib-cache
leanproject build

Name		Name	Last commit message	Last commit date
Latest commit History 10 Commits
src		src
.gitignore		.gitignore
README.md		README.md
fig.svg		fig.svg
leanpkg.toml		leanpkg.toml