Some Lean proofs
☆24Mar 19, 2026Updated this week
Alternatives and similar repositories for lean-proofs
Users that are interested in lean-proofs are comparing it to the libraries listed below
Sorting:
- ☆12Oct 19, 2015Updated 10 years ago
- Enumerate all Nash equilibria of a bimatrix game (i.e. 2-player strategic-form game)☆15Apr 26, 2024Updated last year
- Extism Lean4 Host SDK - easily run WebAssembly modules / plugins from Lean4 applications☆19Nov 26, 2024Updated last year
- An image processing project to detect handwritten flowcharts and generate electronic version of the flowchart. Only the the shape of the …☆12Feb 16, 2019Updated 7 years ago
- An event-driven JavaScript connector for electronic DGT chess boards☆26Oct 17, 2023Updated 2 years ago
- ☆15Oct 1, 2024Updated last year
- Verified interval arithmetic for Lean 4 — prove bounds on exp, sin, cos, find roots, all machine-checked☆35Mar 3, 2026Updated 2 weeks ago
- 微信Ipad协议golang版本，基于grpc的实现策略 。这套代码需要通过gprc服务端组包解包才可以正常使用☆12Jul 8, 2019Updated 6 years ago
- ☆19Jan 20, 2025Updated last year
- a tool for analysing and reversing x64 at&t disassembly☆12Dec 30, 2021Updated 4 years ago
- Example formalization of Game Theoretic concepts in Lean☆27Feb 14, 2025Updated last year
- Lean 4 port of Megaparsec☆35Jan 11, 2024Updated 2 years ago
- [WIP] 外来語（カタカナ）の書き方を扱うtextlintルールプリセット☆16Jan 25, 2026Updated last month
- A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8 and 24.☆50Mar 2, 2026Updated 2 weeks ago
- Leaff is a diff tool for Lean environments☆25Jan 18, 2025Updated last year
- Concept for tackling Computer vision syndrome by enforcing frequent eye blinks using a Dlib face detector and a CNN classifier trained on…☆15Feb 8, 2026Updated last month
- Interfacing with Large Language Models (remote and local) from Lean.☆28Jul 15, 2024Updated last year
- ☆28Aug 27, 2025Updated 6 months ago
- A curated list of awesome resources, tools, libraries, and projects for the Mistral AI ecosystem.☆37Jan 10, 2026Updated 2 months ago
- Executable for manipulating Windows system proxy settings. This uses wininet and allows the setting of PAC files instead of winhttp that …☆21Mar 2, 2018Updated 8 years ago
- Browse Common Lisp docstrings☆18Dec 3, 2024Updated last year
- A formal proof of the Riemann Hypothesis for curves☆46Feb 6, 2026Updated last month
- world's stupidest moe llm in 103M parameters☆20Jul 18, 2025Updated 8 months ago
- Goldbach conjecture = 25-state turing machine☆38Jan 13, 2025Updated last year
- Algorithms and data structures useful for competitive programming☆25Dec 14, 2025Updated 3 months ago
- ☆22Jan 19, 2023Updated 3 years ago
- Solutions to the exercises of the Competitive Programming 4 book by Steven Halim, Felix Halim and Suhendry Effendy☆21Updated this week
- List of the output of #help command of mathlib4, including list of all tactics, commands...etc☆24Updated this week
- In this repo, it will introduce you how to learn math by yourself and become more independent learner.☆25Jul 8, 2024Updated last year
- SODECL is a library of ordinary differential equation (ODE) and stochastic differential equation (SDE) solvers in OpenCL.☆11Jul 4, 2020Updated 5 years ago
- FeynGrav is a Wolfram Mathematica package that implements Feynman rules for gravity within FeynCalc framewok.☆13Mar 10, 2026Updated last week
- In this project, we design concurrency oriented recipes in Java which any level of engineers can understand. This project can be used for…☆25Sep 13, 2024Updated last year
- Find best DoH resolver and test if ECS(edns client subnet) supported.☆20Feb 1, 2020Updated 6 years ago
- Official PyTorch code for UAI 2023 paper "Concurrent Misclassification and Out-of-Distribution Detection for Semantic Segmentation via En…☆12Nov 10, 2023Updated 2 years ago
- 主打完美支持舊字形顯示，不僅支持基本庫和擴展A全部字符，另外還支持越南喃字、香港增補字符集顯示，基於開源字體思源黑體進行創作，基於SIL Open Font License修改☆12May 29, 2024Updated last year
- A community database for the problems on the erdosproblems.com site☆516Updated this week
- C-program for Feynman diagram generation☆10Jun 10, 2013Updated 12 years ago
- ☆11Dec 16, 2021Updated 4 years ago
- PDFflow is parton distribution function interpolation library written in Python and based on the TensorFlow framework.☆11Jan 23, 2024Updated 2 years ago