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).
☆22Nov 29, 2025Updated 3 months ago
Alternatives and similar repositories for metamath-lamp
Users that are interested in metamath-lamp are comparing it to the libraries listed below
Sorting:
- Metamath program - source code for the Metamath executable☆96Dec 2, 2025Updated 3 months ago
- An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.☆26Updated this week
- Metamath-knife can rapidly verify Metamath proofs, providing strong confidence that the proofs are correct.☆42May 7, 2025Updated 10 months ago
- mmj2 GUI Proof Assistant for the Metamath project☆77Sep 16, 2024Updated last year
- ⚡ An interactive alternative to swift package init☆13Jul 24, 2023Updated 2 years ago
- RISC-V emulator in Zig☆15Nov 4, 2023Updated 2 years ago
- zkSnark circuit compiler☆12Feb 19, 2026Updated 2 weeks ago
- A pure-rust implementation of the GVariant serialisation format☆13Jul 7, 2025Updated 8 months ago
- Tiny BASIC interpreter written in Swift☆12Apr 11, 2015Updated 10 years ago
- Creating executables from ELF-coredumps☆10Dec 7, 2015Updated 10 years ago
- CTF challenge writeups☆13Dec 10, 2020Updated 5 years ago
- ☆10Aug 12, 2023Updated 2 years ago
- Rust traits for nonzero generic integers☆17May 24, 2022Updated 3 years ago
- Towards an API for the Real Numbers☆12Mar 1, 2026Updated last week
- Paradoxes in Set Theory and Type Theory☆12Jul 24, 2024Updated last year
- Build a database of libc offsets and ld.so files to simplify exploitation☆13Sep 13, 2018Updated 7 years ago
- coekie's scripts for irssi☆20May 8, 2010Updated 15 years ago
- Portable Qt-based console for SWI-Prolog by Carlo Capelli☆11Sep 9, 2025Updated 6 months ago
- A platform for formalizing OEIS sequences in Lean 4☆18Mar 2, 2026Updated last week
- The new Reactome REST API to access the data☆11Feb 26, 2026Updated last week
- A Tile-based 2D rendering engine.☆12Jun 17, 2019Updated 6 years ago
- A reimplementation of `Data.IntMap` that uses minimum and maximum bounds on subtrees instread of bit prefixes.☆21Nov 26, 2023Updated 2 years ago
- Fork of Rust adding CHERI support☆13Apr 10, 2025Updated 10 months ago
- Inject libraries into 32 processes on macOS Mojave☆16Mar 2, 2020Updated 6 years ago
- A Language Module for BBEdit to display diffs☆18Nov 2, 2018Updated 7 years ago
- Social graphs for ERC☆15May 8, 2015Updated 10 years ago
- Prints windows exe header and export/import info☆10May 6, 2022Updated 3 years ago
- ☆19Apr 5, 2025Updated 11 months ago
- Automatically exported from code.google.com/p/ghilbert☆47Sep 28, 2017Updated 8 years ago
- Please use the new mirrror https://github.com/EiffelSoftware/es-libraries☆11Sep 19, 2025Updated 5 months ago
- Clone of iris-reasoner (http://iris-reasoner.org) from sourceforge☆11Mar 18, 2016Updated 9 years ago
- Type-and-say front end for speech synthesizers☆11Updated this week
- 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…☆15Dec 6, 2025Updated 3 months ago
- A bare-metal Forth for i386 machines.☆14May 13, 2019Updated 6 years ago
- Lean 4 Metamath verifier☆23Dec 12, 2025Updated 2 months ago
- A library for visualizing graphs in Prolog.☆17Aug 31, 2024Updated last year
- Rust implementation of the book "Ray Tracing in One Weekend" by Peter Shirley☆14Jul 21, 2020Updated 5 years ago
- Flames of freedom for Emacs☆12Dec 2, 2019Updated 6 years ago
- Roll your own IRC bot (2019 version) https://wiki.haskell.org/Roll_your_own_IRC_bot☆16Apr 11, 2024Updated last year