Documentation
MyProject
.
FinDFA
Search
return to top
source
Imports
Init
Mathlib
Imported by
test_lemma
FinDFA : Computable deterministic finite automata
#
source
theorem
test_lemma
:
2
+
2
=
4