Stars
120
Forks
23
Language
C++
Last Updated
Mar 03, 2024
Similar Repos
| Repo | Language | Stars | Description | Updated At |
|---|---|---|---|---|
| C++ | 346 | Lean Theorem Prover | Aug 08, 2022 | |
| C++ | 2061 | Lean Theorem Prover | Aug 10, 2022 | |
| Lean | 1748 | Lean 4 programming language and theorem prover | Aug 22, 2022 | |
| Vim script | 13 | Lean Theorem Prover plugin for Vim. | Nov 30, 2022 | |
| Lean | 27 | LLVM support for the lean theorem prover | Mar 13, 2023 | |
| None | 2 | Reference manual for the Lean theorem prover | Feb 02, 2021 | |
| Python | 18 | Python talking to the Lean theorem prover | Aug 25, 2021 | |
| Lua | 91 | neovim support for the Lean theorem prover | Aug 16, 2022 | |
| Lean | 5 | Implementation of Gowers & Ganesalingam theorem prover in Lean | Dec 20, 2021 | |
| Haskell | 52 | Reference type checker for the Lean theorem prover | Apr 08, 2022 | |
| Lean | 99 | Perfectoid spaces in the Lean formal theorem prover. | Jul 09, 2022 | |
| None | 9 | Links to recourses for the Lean Theorem Prover | Mar 16, 2023 | |
| Haskell | 19 | Haskell Bindings to the Lean Theorem Prover http://leanprover.github.io/ | Jan 04, 2021 | |
| None | 2 | Exuberant Ctags patterns for use with Lean Theorem Prover. | Mar 23, 2022 | |
| Lean | 13 | The matrix cookbook, proved in the Lean theorem prover | May 04, 2023 | |
| Lean | 2 | Notes from my experience learning the Lean Theorem Prover | Aug 20, 2017 | |
| Lean | 4 | Attempt to formalize Berkovich spaces in Lean theorem prover | Mar 19, 2022 | |
| C | 18 | Experimental tree-sitter parser for the Lean (4) Theorem Prover | May 10, 2022 | |
| Lean | 24 | A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover | Apr 24, 2023 | |
| Lean | 29 | A formal verification of the babySNARK proof system and others, using the Lean Theorem Prover. | May 22, 2023 | |
| TypeScript | 7 | Set up a specific version of the Z3 theorem prover | Feb 03, 2023 | |
| Lean | 9 | A library of results from Social Choice Theory, formalized in the Lean Theorem Prover. | May 07, 2022 | |
| TeX | 7 | Linear logic theorem prover and proof explorer | Jul 08, 2019 | |
| Jupyter Notebook | 5 | A graphical MLL+MIX theorem prover and proof net library | May 16, 2020 | |
| Haskell | 14 | Paradox model finder and equinox theorem prover for first-order logic. | Jun 15, 2022 | |
| Haskell | 6 | Simple theorem prover for the tope layer of Riehl and Shulman type theory with shapes. | Apr 21, 2023 | |
| Python | 2 | LM based automatic theorem prover that can write code, respond to error messages, and look … | Jul 03, 2023 | |
| Java | 8 | The Whiley Theorem Prover (WyTP) is an automatic and interactive theorem prover designed to discharge … | Feb 11, 2022 | |
| C++ | 8 | A clean and lean reimagining of the C++ standard library | Apr 16, 2023 | |
| C | 20 | Prover9 is an automated theorem prover for first-order and equational logic, and Mace4 searches for … | May 10, 2023 | |
| Python | 13 | Analytic tableau based minimal model generator, model checker and theorem prover for first-order logic with … | Apr 10, 2023 | |
| Objective-C | 24 | A material design progress bar, supports both determinate and indeterminate modes | Apr 02, 2020 | |
| Elixir | 4 | Fast, lean and reliable authentication server based on verifiable credentials standard | Mar 28, 2022 | |
| JavaScript | 13 | An on-save linter and formatter for atom using standard. Supports all the options that standard … | Jan 13, 2021 | |
| Shell | 5 | Fast and simple wrapper over i3lock with multiple modes. Supports xkcd and unsplash | Sep 22, 2020 | |
| HTML | 61 | Minimalistic Jekyll theme that automatically supports dark and light modes for blogs | May 01, 2023 | |
| JavaScript | 983 | Mobile friendly datetime picker for Vue. Supports date and datetime modes, i18n and more. | Aug 23, 2022 | |
| Java | 13 | Experimental version of Feign, for asynchronous, non-blocking and reactive modes | Jul 06, 2022 | |
| C | 204 | An extended version of the standard memcached module that supports set, add, delete, and many … | May 20, 2022 | |
| JavaScript | 3 | Mobile friendly datetime picker for Vue. Supports date and datetime modes, i18n and disabling dates. | May 29, 2021 | |
| Jupyter Notebook | 78 | hapi is a High-level API that supports both static and dynamic execution modes | Mar 30, 2022 | |
| TypeScript | 18 | A web based video player that supports multiple viewing modes, haptic formats, and output devices | Jan 28, 2023 | |
| Shell | 10 | Go Version Manager, supports x86 and M1 devices | Aug 13, 2022 | |
| Java | 3 | Java version of LangChain framework, and supports Flink | May 27, 2023 | |
| C | 773 | a lean linear math library, aimed at graphics programming. Supports vec3, vec4, mat4x4 and quaternions | May 17, 2023 | |
| C++ | 3 | gr-osmosdr GnuRadio OOT module for SDRplay API 3.x - supports RSPduo (all modes) and RSPdx | Aug 26, 2022 | |
| Julia | 14 | AES implementation in Julia. Supports 128/192/256-bit keys and several cipher modes of operation. | Feb 27, 2023 | |
| PHP | 4 | Lean queue system in PHP.. Send, receive message and it supports different adapters.. only one … | Jul 15, 2019 | |
| None | 20 | Lean and mean Javascript implementation of the JSON-Patch standard. Update JSON documents using delta patches. | Feb 22, 2022 | |
| Vue | 4 | A simple dialog plugin that supports both dialog and toast modes, with customizable types and … | Feb 14, 2020 |