Lean 4.0.0, first official lean4 release

• mathlib4

  13 1,582 10.0 Lean

  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!

  https://github.com/leanprover-community/mathlib4/blob/master...

• CodeRabbit

  coderabbit.ai featured

  CodeRabbit: AI Code Reviews for Developers. Revolutionize your code reviews with AI. CodeRabbit offers PR summaries, code walkthroughs, 1-click suggestions, and AST-based analysis. Boost productivity and code quality across all major languages with each PR.

  

• lean4

  59 4,777 10.0 Lean

  Lean 4 programming language and theorem prover

  

• logical_verification_2023

  2 90 6.4 Lean

  Hitchhiker's Guide to Logical Verification (2023 Edition)

  Me too, I want to follow

  https://github.com/blanchette/logical_verification_2023

  The hitchhiker's guide

• mathlib3

  36 1,668 4.9 Lean

  Discontinued 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.

  https://github.com/leanprover-community/mathlib

• learnxinyminutes-docs

  231 11,550 9.6 Ruby

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

• lean4-mode

  2 71 7.5 Emacs Lisp

  Emacs major mode for Lean 4

  

• topos

  1 55 10.0 Lean

  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)

• SaaSHub

  www.saashub.com featured

  SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives

  

Suggest a related project