Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for lean lean4
lean
x
lean4
x
68 search results found
Lean4
⭐
3,443
Lean 4 programming language and theorem prover
Leancopilot
⭐
593
LLMs as Copilots for Theorem Proving in Lean
Mathlib4
⭐
576
The math library of Lean 4
Leandojo
⭐
397
Tool for data extraction and interacting with Lean programmatically.
Lean4 Metaprogramming Book
⭐
182
Scilean
⭐
179
Scientific computing in Lean 4
Lean.nvim
⭐
178
neovim support for the Lean theorem prover
Std4
⭐
166
Standard Library for Lean 4
Theorem_proving_in_lean4
⭐
126
Theorem Proving in Lean 4
Aesop
⭐
122
White-box automation for Lean 4
Lean4 Raytracer
⭐
100
A simple raytracer written in Lean 4
Lake
⭐
96
**(Deprecated: Merged into Lean 4)** Lean 4 build system and package manager with configuration files written in Lean.
Proofwidgets4
⭐
70
Helper toolkit for creating your own Lean 4 UserWidgets
Debate
⭐
67
Formalizing stochastic doubly-efficient debate
Lean4 Samples
⭐
63
Code samples for Lean 4
Quote4
⭐
62
Intuitive, type-safe expression quotations for Lean 4.
Llmstep
⭐
58
llmstep: [L]LM proofstep suggestions in Lean 4.
Lean Smt
⭐
58
Tactics for discharging Lean goals into SMT solvers.
Leanink
⭐
51
LeanInk is a command line helper tool for Alectryon which aims to ease the integration of Lean 4.
Doc Gen4
⭐
48
Document Generator for Lean 4
Lean4 Cli
⭐
44
A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.
Saturn
⭐
43
Experiments with SAT solvers with proofs in Lean 4
Lean4 Maze
⭐
37
maze game encoded in Lean 4 syntax
Loogle
⭐
36
Mathlib search tool
Lean Matrix Cookbook
⭐
35
The matrix cookbook, proved in the Lean theorem prover
Tba 2021
⭐
33
Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
Lean4 Alloy
⭐
32
Write C shims from within Lean code.
Compfiles
⭐
31
Catalog Of Math Problems Formalized In Lean
Plfl
⭐
28
Learn Lean 4 with PLFA proofs.
Lean4 Logic
⭐
26
Lean4 Logic Formalization
Leancamcombi
⭐
24
Formalisation of the Cambridge Part II and Part III courses Graph Theory, Combinatorics, Extremal and Probabilistic Combinatorics in Lean
Ground_zero
⭐
23
Ground Zero: Lean 4 HoTT Library
Wasm.lean
⭐
21
A WebAssembly implementation in Lean4
Tree Sitter Lean
⭐
18
Experimental tree-sitter parser for the Lean (4) Theorem Prover
Leancolls
⭐
18
WIP collections library for Lean 4
Lean4 Balance Car
⭐
17
Lean4 port of Arduino balance car controller
Sdl.lean
⭐
17
SDL2 bindings for lean
Cvxlean
⭐
17
Convex optimization modeling in Lean 4
Verbose Lean4
⭐
16
Natural language tactics to teach mathematics using Lean 4
Lean4 Parser
⭐
16
Parser Combinator Library for Lean 4
Ray
⭐
15
Formalizing results about the Mandelbrot set in Lean
Lean4 Papyrus
⭐
12
An LLVM interface for Lean 4. (WIP)
C0deine
⭐
12
Reference compiler for c0
Leancourse23
⭐
11
Lean Spec
⭐
10
Program Specification in Lean 4
Lean Slides
⭐
9
A tool to auto-generate and render slides from Markdown comments in the Lean editor.
Lean4 Itertools
⭐
8
A Lean 4 library for iterators.
Proven Zk
⭐
8
A support library for working with zero knowledge cryptography in Lean 4.
Mdgen
⭐
8
Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
Lean Protoc Plugin
⭐
7
Http.lean
⭐
7
Basic Http functionality in Lean (unfinished)
Bidirectional Demo
⭐
7
A demo implementation of a simple bidirectional type-checker in Lean 4.
Viper
⭐
7
A Python environment manager built in Lean 4
Leanmysql
⭐
7
A MySQL API for Lean 4
Qpftypes
⭐
7
A WIP definitional (co)datatype package for Lean4
Leaff
⭐
6
Leaff is a diff tool for Lean environments
Numlean
⭐
6
A Lean 4 package for heavy numerical computations
Leanrepl
⭐
6
Lean4 Assert Command
⭐
6
A simple assertion command for Lean4
Unicode.lean
⭐
6
Lean4 Zig
⭐
6
Zig bindings for Lean4
Lean Sat Checker
⭐
6
A work in progress proof checker for LRAT files written in Lean.
Gnark Lean Demo
⭐
6
Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
Lean4 Unicode Basic
⭐
6
Basic Unicode support for Lean 4
Raylib.lean
⭐
6
Raylib bindings for Lean4
Chrome Lean Unicode
⭐
5
Type Lean unicode characters in your web browser
Polylean
⭐
5
Leanapap
⭐
5
Formalisation of the Kelley-Meka bound on Roth numbers
Related Searches
Openwrt Lean (807)
Shell Lean (764)
Firmware Lean (473)
Javascript Lean (198)
Python Lean (85)
C Lean (41)
C Plus Plus Lean (36)
Mathematics Lean (23)
Lean Theorem Proving (14)
Command Line Lean (13)
1-68 of 68 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.