☆13Oct 24, 2026Updated this week
Alternatives and similar repositories for ProveIt
Users that are interested in ProveIt are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- New results and AI-powered research on the square packing problem☆43Updated this week
- ☆20Jun 8, 2026Updated 4 months ago
- The codebase that computed the Ninth Dedekind Number☆13Jan 18, 2026Updated 9 months ago
- Towers of category constructors☆13Updated this week
- ☆11Jan 5, 2025Updated last year
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Plugin solutions to enable shell integration on Windows Terminal for various shells☆14Sep 18, 2024Updated 2 years ago
- Formally Verified X.509 Certificate Validation☆17Nov 19, 2025Updated 11 months ago
- What C# can do for studying Finite Groups, quotient groups, semi-direct products, homomorphisms, automorphisms group, characters table, m…☆15Jul 16, 2026Updated 3 months ago
- A fork of Cerberus C adding a Lean 4 port of the semantics☆15Updated this week
- A rust port of con-leche☆34Updated this week
- a Lean wrapper for the MD4C Markdown parser☆13Jun 22, 2026Updated 4 months ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- Lean 4 formalization (work in progress) of O(n log n · log^(-ε) n) integer multiplication on a multitape Turing machine☆28Updated this week
- ☆18Oct 7, 2026Updated 2 weeks ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- An embedding and formalization of GAP (groups, algorithms, Programming) in LEAN4☆17May 18, 2022Updated 4 years ago
- GoBfuscator is a professional-grade obfuscation tool specifically designed for Go (Golang) source code. It provides multiple layers of pr…☆13Aug 5, 2025Updated last year
- ☆40Sep 27, 2026Updated 3 weeks ago
- ☆16Aug 26, 2026Updated 2 months ago
- parser/viewer for olean files (lean 3)☆13May 8, 2019Updated 7 years ago
- BM25 reranking plugin for SearXNG using zero-dependency sparse search☆20Updated this week
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this week
- Running Aristotle from Harmonic on Putnam 2025 problems☆15Dec 10, 2025Updated 10 months ago
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated 3 weeks ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Repository hosting resources for the "Lean Tutorial in Vienna" at TU Wien from September 18 to 20, 2024.☆14Jan 14, 2025Updated last year
- A general geometry library in LEAN 4.☆81Oct 10, 2026Updated 2 weeks ago
- rubikcubegroup魔方定理证明+视频分享。discuss here: https://lean4daydayup.zulipchat.com/join/45reytdk5yv7t7sheywhulw3/☆14Apr 16, 2024Updated 2 years ago
- Superposition prover☆17Feb 16, 2023Updated 3 years ago
- (Lean)DOOM: a native Lean 4 DOOM engine with original-WAD support and kernel-checked movement and autoaim proofs.☆19Oct 4, 2026Updated 3 weeks ago
- Coding Standards☆10Jun 18, 2025Updated last year
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 years ago
- An exploration in the visualization of hydrogenic orbitals☆19Jan 17, 2023Updated 3 years ago
- experimental LeanOS formally verified OS☆17Oct 19, 2026Updated last week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- Typeset version of EGA and SGA by Grothendieck.☆14Jan 28, 2014Updated 12 years ago
- [NeurIPS 2025] CodeCrash: Exposing LLM Fragility to Misleading Natural Language in Code Reasoning☆18Jan 24, 2026Updated 9 months ago
- Trezor Homescreen Editor☆19Apr 3, 2024Updated 2 years ago
- ☆16Jul 3, 2023Updated 3 years ago
- minimal plugin manager for ZSH☆24Nov 2, 2020Updated 5 years ago
- A technique that mixes NTDLL unhooking and hellsgate gate varients☆33Oct 16, 2026Updated last week
- Show the area that can be reached in X mins (not a circle). Use this in 🚚☆30Jul 1, 2024Updated 2 years ago