Lean 4 Interactive Tutor
Exercise:
File
Save XML
Load XML
Export .js
View
View Code
View Task
L
EN
DE
F:
0
1
2
3
4
Generated Lean Code
×
-- Code appears here
Task Description
×
Loading...
∧
∨
→
↔
¬
∀
∃
≠
⟨
⟩
Proof Status
Connecting...
▼
Select a block to see the proof state here.