TCSlib Theorems Viewer
loading…
Load file:
Copy Lean
Copy Proof
Download .lean
Dep DAG
Select a theorem from the sidebar.
Dependency DAG
Statement
Proof
Fit
Difficulty
◀
all trees
▶
✕ Close
✕
theorem / lemma
definition / other decl
focused node
difficulty: easy → hard