Perpustakaan yang ditulis dalam Lean

lean4

  • 2.5k
  • Apache License 2.0

mathlib

  • 1.6k
  • Apache License 2.0

smalltt

  • 454
  • MIT

electrolysis

  • 311
  • GNU General Public License v3.0

natural_number_game

  • 272
  • Apache License 2.0

mathlib4

  • 261
  • Apache License 2.0

lean4-metaprogramming-book

  • 132
  • Apache License 2.0

lean-liquid

  • 128

lean4-raytracer

  • 96
  • Apache License 2.0

logical_verification_2020

  • 96

hott3

  • 71
  • Apache License 2.0

lean-chat

  • 46

Functional-Benchmarks

  • 28

mathematica

  • 24

BrouwerFixedPoint

  • 8

lamda_calculus_formalizations

  • 2
  • Apache License 2.0