Platform
Bahasa pemrograman
TypeScript
C++
C
Go
Rust
C#
Shell
Java
HTML
Lua
PHP
Jupyter Notebook
Ruby
Kotlin
Swift
CSS
Dart
Emacs Lisp
Vim Script
SCSS
Vue
Haskell
Makefile
Scala
Svelte
Perl
Clojure
Batchfile
Dockerfile
Objective-C
Nix
GDScript
Assembly
TeX
Common Lisp
R
Elixir
Solidity
Nim
Markdown
Zig
HCL
Logos
AutoHotkey
Jinja
Julia
Pascal
OCaml
Scheme
JavaScript
IND
RU
DE
ZH
ES
PT
MS
FR
FA
KO
TR
PL
CS
SV
SK
BG
SL
DA
HR
AR
HU
NL
IND
IT
EL
VI
TH
HE
Home
Perpustakaan yang ditulis dalam Lean
lean4
Lean 4 bahasa pemrograman dan pembuktian teorema.
2.5k
Apache License 2.0
mathlib
Pustaka komponen matematika ramping.
1.6k
Apache License 2.0
smalltt
Demo untuk elaborasi teori tipe kinerja tinggi.
454
MIT
electrolysis
Verifikasi sederhana program Rust melalui pemurnian fungsional di Lean 2(!).
311
GNU General Public License v3.0
natural_number_game
Membangun bilangan asli di Lean..
272
Apache License 2.0
mathlib4
Bekerja dalam proses port mathlib untuk lean 4.
261
Apache License 2.0
lean4-metaprogramming-book
132
Apache License 2.0
lean-liquid
💧 Eksperimen Tensor Cair.
128
lean4-raytracer
Sebuah raytracer sederhana yang ditulis dalam Lean 4.
96
Apache License 2.0
logical_verification_2020
File pendamping untuk Verifikasi Logis 2020–2021 di VU Amsterdam.
96
hott3
HoTT di Lean 3.
71
Apache License 2.0
lean-chat
46
Functional-Benchmarks
Kumpulan tolok ukur bahasa pemrograman fungsional dan asisten pembuktian..
28
mathematica
Implementasi Lean-independen dari tautan MM-Lean.
24
BrouwerFixedPoint
8
lamda_calculus_formalizations
2
Apache License 2.0