Skip to main content

Use this tag when looking for tutorials relating to proof assistants. See also [learning].

List of tutorials for proof assistants:

Lean:

Theorem Proving in Lean 4