Lean ben írt könyvtárak

lean4

Lean 4 programozási nyelv és tételbizonyító.
  • 2.5k
  • Apache License 2.0

mathlib

Lean matematikai komponensek könyvtára.
  • 1.6k
  • Apache License 2.0

smalltt

Demo a nagy teljesítményű típuselmélet kidolgozásához.
  • 454
  • MIT

electrolysis

A Rust programok egyszerű ellenőrzése funkcionális tisztítással Lean 2-ben(!).
  • 311
  • GNU General Public License v3.0

natural_number_game

Természetes számok felépítése Leanben...
  • 272
  • Apache License 2.0

mathlib4

Folyamatban lévő mathlib port a lean 4-hez.
  • 261
  • Apache License 2.0

lean4-metaprogramming-book

  • 132
  • Apache License 2.0

lean-liquid

💧 Liquid Tensor Experiment.
  • 128

lean4-raytracer

Egy egyszerű sugárkövető Lean 4-ben.
  • 96
  • Apache License 2.0

logical_verification_2020

Kísérőfájlok a VU Amsterdam 2020–2021-es logikai ellenőrzéséhez.
  • 96

hott3

HoTT Lean 3-ban.
  • 71
  • Apache License 2.0

Functional-Benchmarks

Funkcionális programozási nyelvek benchmark gyűjteménye és proof asszisztensek.
  • 28

mathematica

Az MM-Lean link lean-független megvalósítása.
  • 24

lamda_calculus_formalizations

  • 2
  • Apache License 2.0