Link to Quickstart instead of Setup on title page

leanprover / theorem_proving_in_lean4

Theorem Proving in Lean 4

Apache License 2.0

159 stars 85 forks source link

Closed avigad closed 7 months ago

avigad commented 7 months ago

As suggested by Shreyas Srinivas on Zulip. Functional Programming in Lean does the same.

david-christiansen commented 7 months ago

This is definitely the right place to send people, thanks!