This is just an attempt I'm trying to get better at writing proofs I know I'm an idiot so please be constructive if you are criticizing

This page summarizes the projects mentioned and recommended in the original post on reddit.com/r/Collatz
#Lean #theorem-proving #Formal Methods #formal-proofs #formal-mathematics

Our great sponsors
  • Scout APM - Less time debugging, more time building
  • SonarLint - Deliver Cleaner and Safer Code - Right in Your IDE of Choice!
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

  • mathlib

    Lean mathematical components library

    So I guess my thought is if you're going to practice writing proofs, start here: https://leanprover-community.github.io/

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts