Metamath-lamp (Lite Assistant for Metamath Proofs) is a GUI-based proof assistant for creating formal mathematical proofs in Metamath that does not require installation (just run it directly using your web browser).
☆25Jun 14, 2026Updated 3 weeks ago
Alternatives and similar repositories for metamath-lamp
Users that are interested in metamath-lamp are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Metamath program - source code for the Metamath executable☆100Dec 2, 2025Updated 7 months ago
- Metamath in C++☆14Jun 4, 2019Updated 7 years ago
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆45May 7, 2025Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Jul 18, 2022Updated 3 years ago
- Automatically exported from code.google.com/p/ghilbert☆47Sep 28, 2017Updated 8 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- mmj2 GUI Proof Assistant for the Metamath project☆80Sep 16, 2024Updated last year
- RISC-V emulator in Zig☆15Nov 4, 2023Updated 2 years ago
- a 666-byte, public domain SKI combinator calculus evaluator in C, minsky machines and other stuff☆12Jan 12, 2021Updated 5 years ago
- ☆13Jul 26, 2023Updated 2 years ago
- Source of metamath book☆55Dec 22, 2023Updated 2 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated 10 months ago
- Discourse Vibe - Agent containers for Discourse Development☆30Updated this week
- Haskell bindings for PicoSAT solver☆17May 6, 2020Updated 6 years ago
- node-postgres-test is a module that provides easy unit-testing for the popular node-postgres.☆15Dec 28, 2018Updated 7 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- ☆13Mar 23, 2026Updated 3 months ago
- Fork of apple/swift with modifications to the stdlib to use in a bare metal kernel for use with swift-project1. See KERNEL_LIB.md for det…☆15Apr 8, 2026Updated 3 months ago
- A Repo of instructions on how to start your own Microsoft Simp (MS) and Super Simp (MSS) Stack☆14Oct 31, 2020Updated 5 years ago
- Rust traits for nonzero generic integers☆17May 24, 2022Updated 4 years ago
- ☆12Feb 9, 2022Updated 4 years ago
- A Flexible and Efficient Proof Checker for SMT Solvers☆31Updated this week
- metamath proof enumerators and other things☆98Nov 16, 2025Updated 7 months ago
- Encryption Algorithm Combined☆31Mar 9, 2016Updated 10 years ago
- Mathematical learnings with Lean, for those of us who wish we knew more of both!☆11Aug 27, 2022Updated 3 years ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆19Apr 5, 2025Updated last year
- ☆13May 17, 2024Updated 2 years ago
- ☆15Oct 24, 2017Updated 8 years ago
- CTF challenge writeups☆13Dec 10, 2020Updated 5 years ago
- MCP client for Discourse sites☆62Updated this week
- Library with JIT (Just-in-time) compilation support to optimize performance of small and medium matrix multiplication☆14Apr 27, 2021Updated 5 years ago
- Optimize Z3 strategies for your problem!☆26Jun 22, 2026Updated 2 weeks ago
- A translation verifier for Reopt (https://github.com/GaloisInc/reopt)☆20Sep 20, 2021Updated 4 years ago
- ⚡ An interactive alternative to swift package init☆13Jul 24, 2023Updated 2 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- A library for visualizing graphs in Prolog.☆16Aug 31, 2024Updated last year
- A Tile-based 2D rendering engine.☆12Jun 17, 2019Updated 7 years ago
- zip_vector in-memory compressed variable length integer array☆20Sep 5, 2022Updated 3 years ago
- SWI-Prolog dynamic C interface☆18Sep 21, 2024Updated last year
- Tiny BASIC interpreter written in Swift☆12Apr 11, 2015Updated 11 years ago
- pgTyped ReScript - Typesafe SQL in ReScript☆31May 29, 2026Updated last month
- A fun gdb frontend!☆13Aug 8, 2021Updated 4 years ago