we aim to tackle the challenges of scalability, usability, and proof automation in the Lean proof assistant https://lean-lang.org/
Yep. Truly a mystery.
Yep. Truly a mystery.
EDIT: Apparently their website design is just so poor their clickable links are identical to the non-clickable plain text. That link is a clickable word if you completely guess you can click on some of the apparent plain text.