search

leanprover / theorem_proving_in_lean4

Theorem Proving in Lean 4
https://leanprover.github.io/theorem_proving_in_lean4/
Apache License 2.0
164 stars 92 forks source link

Broken link #28

Open arademaker opened 2 years ago

arademaker commented 2 years ago

The link for "Programming in Lean 4" is broken in

These aspects of Lean are explored in a companion tutorial to this one, Programming in Lean 4, though computational aspects of the system will make an appearance here.

hargoniX commented 2 years ago

The link is broken "on purpose" so to speak since said tutorial does not exist yet.