Nā hale waihona puke i kākau ʻia ma Lean

lean4

Lean 4 programming language and theorem prover.
  • 2.5k
  • Apache License 2.0

mathlib

Lean waihona mea makemakika.
  • 1.6k
  • Apache License 2.0

smalltt

Demo no ka wehewehe ʻana i ke kumumanaʻo ʻano hana kiʻekiʻe.
  • 454
  • MIT

electrolysis

ʻO ka hōʻoia maʻalahi o nā polokalamu Rust ma o ka hoʻomaʻemaʻe hana ma Lean 2(!).
  • 311
  • GNU General Public License v3.0

natural_number_game

Ke kūkulu nei i nā helu kūlohelohe ma Lean..
  • 272
  • Apache License 2.0

mathlib4

Ke holomua nei ka hana mathlib port no lean 4.
  • 261
  • Apache License 2.0

lean4-metaprogramming-book

  • 132
  • Apache License 2.0

lean-liquid

💧 ʻO ka hoʻokolohua ʻo Tensor Liquid.
  • 128

lean4-raytracer

He raytracer maʻalahi i kākau ʻia ma Lean 4.
  • 96
  • Apache License 2.0

logical_verification_2020

Nā faila hoa no ka Logical Verification 2020–2021 ma VU Amsterdam.
  • 96

hott3

HoTT ma Lean 3.
  • 71
  • Apache License 2.0

Functional-Benchmarks

ʻO ka hōʻiliʻili ʻana o nā pae ʻōlelo o nā ʻōlelo hoʻolālā hana a me nā mea kōkua hōʻoia.
  • 28

mathematica

Hoʻokō kūʻokoʻa Lean o ka loulou MM-Lean.
  • 24

lamda_calculus_formalizations

  • 2
  • Apache License 2.0