Lean 4.0.0, first official lean4 release

This page summarizes the projects mentioned and recommended in the original post on news.ycombinator.com

Our great sponsors
  • Onboard AI - Learn any GitHub repo in 59 seconds
  • InfluxDB - Collect and Analyze Billions of Data Points in Real Time
  • SaaSHub - Software Alternatives and Reviews
  • mathlib4

    The math library of Lean 4

    Is Lean a Category?

    (like much debated: is Hask(ell) a Category)

    "In this section we set up the theory so that Lean's types and functions between them can be viewed as a `LargeCategory` in our framework."

    So it seems to be proven that there is a Category Lean!


  • lean4

    Lean 4 programming language and theorem prover

  • Onboard AI

    Learn any GitHub repo in 59 seconds. Onboard AI learns any GitHub repo in minutes and lets you chat with it to locate functionality, understand different parts, and generate new code. Use it for free at www.getonboard.dev.

  • logical_verification_2023

    Hitchhiker's Guide to Logical Verification (2023 Edition)

    Me too, I want to follow


    The hitchhiker's guide

  • mathlib

    Lean 3's obsolete mathematical components library: please use mathlib4

    Kinda agree but Mathlib and its documentation makes for a big corpus to learn by example from. Not ideal but it helps.


  • learnxinyminutes-docs

    Code documentation written as code! How novel and totally my idea!

  • lean4-mode

    Emacs major mode for Lean 4

  • topos

    Topos theory in lean (by b-mehta)

    Here's a Lean 3 development of a bunch of topos theory https://github.com/b-mehta/topos/tree/master/src , but it's not in the maths library (and now needs to be updated to Lean 4, although the community have had great success with that kind of project; one million lines of mathlib was translated from Lean 3 to Lean 4 using a combination of automation and human work)

  • InfluxDB

    Collect and Analyze Billions of Data Points in Real Time. Manage all types of time series data in a single, purpose-built database. Run at any scale in any environment in the cloud, on-premises, or at the edge.

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