Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for lean4
lean4
x
80 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.
Paperproof
⭐
256
Lean theorem proving interface which feels like pen-and-paper proofs.
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
Math2001
⭐
70
Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant
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
Leanaide
⭐
40
Tools based on AI for helping with Lean 4
Lean4 Mode
⭐
39
Emacs major mode for Lean 4
Lean4web
⭐
37
The Lean 4 web editor
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
Lean Crypto
⭐
24
Cryptographic routines for the Lean 4 language
Ground_zero
⭐
23
Ground Zero: Lean 4 HoTT Library
Wasm.lean
⭐
21
A WebAssembly implementation in Lean4
Socket.lean
⭐
19
A toy implementation of socket programming for Lean 4.
Leancolls
⭐
18
WIP collections library for Lean 4
Tree Sitter Lean
⭐
18
Experimental tree-sitter parser for the Lean (4) Theorem Prover
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
Reopt Vcg
⭐
13
A translation verifier for Reopt (https://github.com/GaloisInc/reopt)
Lean Loris
⭐
13
Experiments with some ways of automating reasoning in lean 4
Houlean
⭐
12
Lean 4 as a scripting language in Houdini
C0deine
⭐
12
Reference compiler for c0
Lean4 Papyrus
⭐
12
An LLVM interface for Lean 4. (WIP)
Leancourse23
⭐
11
Lean Spec
⭐
10
Program Specification in Lean 4
Lean To
⭐
9
Jupyter notebook for the Lean4 programming language
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.
Eigenlean
⭐
8
Lean 4 interface to Eigen
Mdgen
⭐
8
Tool to generate markdown files from lean files. This is heavily inspired by lean2md.
Viper
⭐
7
A Python environment manager built in Lean 4
Bidirectional Demo
⭐
7
A demo implementation of a simple bidirectional type-checker in Lean 4.
Lean Protoc Plugin
⭐
7
Http.lean
⭐
7
Basic Http functionality in Lean (unfinished)
Leanmysql
⭐
7
A MySQL API for Lean 4
Qpftypes
⭐
7
A WIP definitional (co)datatype package for Lean4
Lean4 Unicode Basic
⭐
6
Basic Unicode support for Lean 4
Unicode.lean
⭐
6
Gnark Lean Demo
⭐
6
Verification of the gnark implementation of the Semaphore protocol using Reilabs' extractor to Lean.
Lean4 Assert Command
⭐
6
A simple assertion command for Lean4
Leanrepl
⭐
6
Numlean
⭐
6
A Lean 4 package for heavy numerical computations
Lean Sat Checker
⭐
6
A work in progress proof checker for LRAT files written in Lean.
Lean4 Zig
⭐
6
Zig bindings for Lean4
Leaff
⭐
6
Leaff is a diff tool for Lean environments
Raylib.lean
⭐
6
Raylib bindings for Lean4
Leanapap
⭐
5
Formalisation of the Kelley-Meka bound on Roth numbers
Polylean
⭐
5
Chrome Lean Unicode
⭐
5
Type Lean unicode characters in your web browser
Related Searches
Lean Lean4 (60)
C Plus Plus Lean4 (6)
Metaprogramming Lean4 (4)
C Lean4 (3)
Formal Verification Lean4 (3)
1-80 of 80 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.