3 ms·

https://lean-fro.org/about/ https://lean-fro.org/about/

• hinkley 2y ago
  Yeah that really doesn’t help.
  • lambdas 2y ago
    we aim to tackle the challenges of scalability, usability, and proof automation in the Lean proof assistant https://lean-lang.org/ https://lean-lang.org/ Yep. Truly a mystery.
    • aaravchen 2y ago
      ~~Nice addition of a link that doesn't exist in the actual "quoted" source. If it did exist it would certainly be helpful though, so thanks for adding it I guess.~~ 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.
  • lproven 2y ago
    FWIW, not having done a proof since about 1982, it doesn't help me either.