Metamath
A minimal formal proof language and database of formalized mathematics.
ToolDev toolstheorem-provingformal-verificationmathematics
Recommended in 1 thread
Classification of Finite Simple Groups Formalized in Leancfsg.axiommath.ai ·
Cited for research into theorem formulations that compose well as a library.
Similar tools
- 1 thread
- Lean ↗Languages & runtimes2 threads
An interactive theorem prover and programming language used to formalize mathematical proofs.
- Aeneas ↗Dev tools1 thread
A toolchain that translates safe Rust programs into proof assistants like Lean for verification.
- 1 thread
- 1 thread
- Glamorous Toolkit ↗Dev tools1 thread
A moldable development environment built on Pharo for creating custom tools and data explorations.
- Web Origami ↗Dev tools1 thread
A JavaScript-like dialect and toolkit for building static sites with built-ins for Markdown and RSS.
- integer-mult-bounds-lean ↗Other2 threads
A Lean formalization of sub-n log n integer multiplication bounds on Mathlib's TM2 machine model.
Also in Dev tools
- F-Droid3 threads
An app store distributing free and open-source Android apps.
- 3 threads
- Claude Code2 threads
Anthropic's terminal-based coding agent harness.
- 2 threads
- Forgejo2 threads
A self-hostable community-driven software forge.
- OpenCode2 threads
An open-source terminal coding agent harness.
- OrbStack2 threads
A macOS app for running Docker containers and Linux VMs.
- Playwright2 threads
A browser automation framework for end-to-end testing.
- lossy-git ↗2 threads
A toy version control system that stores code by training a neural network and reconstructs it on checkout.
- uv2 threads
Fast Python package and project manager.
- Aeneas ↗1 thread
A toolchain that translates safe Rust programs into proof assistants like Lean for verification.
- 1 thread