RubikCubeGame
1
Introduction
2
Example
3
Bibliography
Dependency graph
2 Example
Here you can use LaTex.
Theorem
2.1
✓
#
L∃∀N
Lean declarations
List.aux
this should be a doc string.
Proof
▼
Theorem
2.2
✓
#
Uses
Theorem 2.1
L∃∀N
Lean declarations
List.Nat.Ex
Here is a doc string
Proof
▼
Theorem
2.3
#
L∃∀N
Lean declarations
List.test
No documentation.
Theorem
2.4
#
Uses
Theorem 2.3
L∃∀N
Lean declarations
List.Test
No documentation.