Test <script>alert(1)</script>
Closed
Theorem & proof
·
foo.lean
·
✓ verified
1
2
3
import Mathlib theorem foo : True := trivial
Rewards pledged
No rewards pledged yet.
import Mathlib theorem foo : True := trivial
No rewards pledged yet.