Stars
2
Forks
1
Language
Python
Last Updated
Dec 06, 2022
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| Rust | 4 | A tool for automatically proving Metamath theorems using ATPs | Apr 09, 2023 | |
| Jupyter Notebook | 18 | A tool for proving and organizing general theorems using Python. | May 22, 2023 | |
| Python | 38 | Theorem proving in Lean | Apr 01, 2022 | |
| JavaScript | 56 | Theorem Proving in Lean 4 | Aug 07, 2022 | |
| Lean | 76 | Interactive neural theorem proving in Lean | Mar 20, 2023 | |
| Coq | 5 | An introduction to proving theorems and certifying programs with Coq. | Jan 16, 2022 | |
| Lean | 4 | Tutorial to use Lean for theorem proving | Apr 21, 2022 | |
| Objective-C++ | 2 | A system for formalizing and proving mathematical theorems inspired by Metamath | Jun 15, 2022 | |
| JavaScript | 2 | A highlight.js language grammar for the Lean theorem proving language. | Oct 10, 2021 | |
| Lean | 2 | An introduction to theorem proving in Lean for the impatient. | May 10, 2023 | |
| C++ | 589 | LLMs as Copilots for Theorem Proving in Lean | Jan 18, 2024 | |
| TypeScript | 38 | The Math Algorithm | Aug 12, 2022 | |
| Lean | 2 | A collection of various mathematical theorems/objects/constructs in Lean. | Jun 17, 2021 | |
| Lean | 4 | Subtasks algorithm for Lean | Jun 02, 2022 | |
| Lean | 8 | math puzzles from various sources, formalized in Lean | Mar 07, 2023 | |
| Lean | 12 | math puzzles from various sources, formalized in Lean 4 | May 19, 2023 | |
| Lean | 4 | Proofs of Cantor's Theorems in Lean 3, which consequently prove that there are infinitely many … | May 27, 2022 | |
| Python | 4 | FPL - the "Formal Proving Language" is a project to create a universal, human-readable language … | Sep 19, 2022 | |
| C# | 8 | Lean with my custom algorithm for following the Instanteous Trend | Jul 08, 2021 | |
| Objective-C++ | 17 | Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems" | Aug 18, 2022 | |
| None | 3 | Learning C program proving using Emacs --reminiscent of Coq proving with Proof General. | Apr 27, 2020 | |
| Go | 37 | Go implementation of the Lean Helix Byzantine fault tolerant consensus algorithm | Aug 23, 2021 | |
| JavaScript | 4 | Proving interactions on Aztec-Connect using Noir | May 10, 2023 | |
| C# | 48 | Genetic optimization using LEAN | Oct 19, 2022 | |
| C++ | 28 | GCLC is a mathematical software tool for producing high-quality mathematical illustrations, for teaching mathematics, and … | May 09, 2023 | |
| HTML | 5 | Track prerequisites of theorems and definitions. Generated using ConcepDAG. | Dec 24, 2022 | |
| C | 2 | Algorithm, string, Geometry, Math Problem With Solution | Feb 12, 2023 | |
| None | 6 | Notes on the fundamental theorems of welfare economics | Mar 31, 2021 | |
| Rust | 2 | A variety of coding, algorithm, and math experiments | May 08, 2024 | |
| Python | 4 | Proving the algorithms in draft-nottingham-variants | Jun 11, 2021 | |
| Lean | 61 | A gamification of the theorems in MATH40002 Analysis 1 | Jul 09, 2022 | |
| C | 773 | a lean linear math library, aimed at graphics programming. Supports vec3, vec4, mat4x4 and quaternions | May 17, 2023 | |
| None | 19 | Implementation of the Groth16 zk-SNARK proving system | Jul 03, 2022 | |
| JavaScript | 59 | Math typesetting using KaTex | Jul 28, 2022 | |
| Haskell | 8 | A browser-only web interface to the free-theorems library | Mar 14, 2021 | |
| JavaScript | 10 | A very lean React boilerplate, using webpack | Mar 04, 2023 | |
| JavaScript | 20 | Attach `id` to the results of mongoose queries when using `.lean()` | Mar 30, 2023 | |
| TypeScript | 15 | Attach defaults to the results of mongoose queries when using .lean() | Aug 31, 2022 | |
| Python | 9 | Compression using the Heatshrink algorithm | May 04, 2023 | |
| Java | 4 | Create mazes using the recursive backtracking algorithm and solve mazes using the dijkstra algorithm . | May 12, 2023 | |
| Lean | 2 | proof using the lean prover that the towers of hanoi problem is solvable | Dec 14, 2018 | |
| Racket | 2 | a simulation of the RSA algorithm learned in math 135, with some added perks | Feb 15, 2016 | |
| JavaScript | 2 | Display math equations using latex.codecogs.com | Nov 09, 2021 | |
| Dart | 3 | Math Play Game Using Flutter | Feb 18, 2022 | |
| PHP | 2 | Lean, a responsive WordPress theme focused on a lean approach to the content. | Aug 08, 2016 | |
| C | 11 | A lean C99 library for linear math, aimed at graphics programming. Supports vec3, vec4, mat4x4 … | Apr 05, 2022 | |
| Lean | 2 | Proving the four squares theorem using modular forms. Assuming intermediate propositions, ideally as little as … | Dec 23, 2021 | |
| Ruby | 6 | Pathfinding library using the a* algorithm | Aug 13, 2019 | |
| Ruby | 3 | Outlier detection using the FASTOUT algorithm | Sep 17, 2021 | |
| Python | 16 | Implement the node2vec algorithm using Python | Jul 21, 2022 |