Make an existing proof easier to inspect by exposing its hierarchy, dependencies, scope, and unresolved obligations.
☆22Sep 6, 2026Updated 2 months ago
Alternatives and similar repositories for lamport-proof
Users that are interested in lamport-proof are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Focused research repository on Grothendieck rank-p^2 finite flat group-scheme conjecture☆14Aug 4, 2026Updated 3 months ago
- sorear's Metamath system engine☆14May 5, 2016Updated 10 years ago
- The second version of AIM with a special focus on interaction and generalizability.☆15Sep 2, 2026Updated 2 months ago
- The Megalodon interactive theorem prover and proof checker☆16Apr 14, 2024Updated 2 years ago
- End-to-end formally verified solvers for the general relativistic Maxwell and perfectly hyperbolic general relativistic Maxwell equations…☆28Jul 27, 2026Updated 3 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Agentic workflow for tackling all open Erdos problems at once.☆34May 10, 2026Updated 6 months ago
- A mathematical research workflow built on Pi Durable☆42Updated this week
- ☆16Aug 26, 2026Updated 2 months ago
- A 3D dependency graph visualizer for Lean 4 projects☆13Mar 30, 2026Updated 7 months ago
- [ICML2026] The official code of "Beyond Gemini-3-Pro: Revisiting LLM Routing and Aggregation at Scale"☆15Jun 3, 2026Updated 5 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 last month
- Moonshine: autonomous mathematical exploration, from the first step to the farthest horizon.☆41Sep 7, 2026Updated 2 months ago
- sorear's Metamath system engine - version 3 Rust☆25May 31, 2023Updated 3 years ago
- Collection of Jane Street Puzzles that I have gone back to solve☆13Mar 1, 2026Updated 8 months ago
- 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.
- UlamAI is an open-source Lean theorem prover and formalizer.☆162Aug 9, 2026Updated 3 months ago
- Proximity Prize for Smooth Reed-Solomon Domains☆17Jul 29, 2026Updated 3 months ago
- End-to-end formally verified solvers for the electrostatic Vlasov equation in 1x1v, 1x2v, 1x3v, 2x2v, 2x3v, and 3x3v (i.e. 2D to 6D) phas…☆17Jul 21, 2026Updated 3 months ago
- Fast, Numerically Stable, and Auto-Differentiable Spectral Clipping via Newton-Schulz Iteration☆12Jun 21, 2025Updated last year
- ⟁ Prisma Models returns a Mapped type that includes all the generated types from your Prisma Client as — Models["User"] and Enums["UserSt…☆10Aug 13, 2024Updated 2 years ago
- ☆42Sep 26, 2026Updated last month
- ☆11Jul 1, 2026Updated 4 months ago
- A playable 3D voxel game built in Lean 4.☆23Jul 12, 2026Updated 3 months ago
- Catch local LLMs spilling into the CPU. One run shows GPU placement, prefill, decode, memory, power and a verdict.☆18Sep 28, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Prover Agent: An Agent-Based Framework for Formal Mathematical Proofs☆35Nov 1, 2025Updated last year
- Legacy Complexitylib V1; development continues at cslib-community/complexitylib.☆31Oct 22, 2026Updated 3 weeks ago
- macOS + Linux PTY wrapper that redacts secrets from terminal output☆14Mar 3, 2026Updated 8 months ago
- Semantic Search Over 9 million Mathematical Theorems☆26Oct 3, 2026Updated last month
- ojjson is a library designed to facilitate JSON interactions with Ollama, a large language api (LLM). It leverages the power of Zod for s…☆12Nov 7, 2024Updated 2 years ago
- HTML5 & javascript implementation of the classic game Corewar☆13Mar 12, 2021Updated 5 years ago
- Verifying Signal's security at the machine-code level☆54Updated this week
- An agentic framework for solving scientific research problems☆50Oct 14, 2026Updated 3 weeks ago
- End-to-end formally verified solvers for the linear advection, isotropic advection-diffusion, and full (anisotropic) advection-diffusion …☆82Sep 9, 2026Updated 2 months ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- ⚸ Lilith Zero - Security Middleware for MCP tool calls written in Rust.☆23Jul 28, 2026Updated 3 months ago
- Collaborative AI Model☆11Nov 27, 2024Updated last year
- Bend's landing page☆18Sep 9, 2026Updated 2 months ago
- Moved to https://github.com/paritytech/js-libs/tree/master/packages/light.js☆10May 25, 2019Updated 7 years ago
- This repository includes code and materials for the paper "Efficient PRM Training Data Synthesis via Formal Verification" (ACL 2026 Findi…☆21Apr 7, 2026Updated 7 months ago
- The lightweight, distributed relational database built on SQLite.☆14Apr 29, 2023Updated 3 years ago
- Browser extension to quickly access Perplexity searchbar from any page with a shortcut☆13Oct 20, 2024Updated 2 years ago
Are these results useful?