expln/metamath-lamp

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).

Language: ReScript - Size: 18.9 MB - Last synced at: 13 days ago - Pushed at: 13 days ago - Stars: 16 - Forks: 5

metamath/lamp-guide

Guide on how to use the metamath-lamp proof assistant

Language: HTML - Size: 22.2 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 3 - Forks: 1

mmegp/mmegp

A project based on metamath.org ; personal new mathematics foundational & other tertium datur openscience theories by Evgeniy Grigoriewitch Phfilippowvv Angarskiy AKA https://beacons.ai/krichuvka vk.com/egphilippov https://linkedin.com/in/egphilippov as of Sunday, February 13 ante de Christ and further since that............................................*lightforcesofallcosmos LIGHT BILDERBERG CLUB RUSSKIY INTERNATIONAL SHARD ANTIHITLERS COALITION AHC45 1945.05.09 DECENTRALIZED AUTONOMOUS ORGANIZATION CREATOR DISCOVERER INVENTOR AUTHOR

Language: Objective-C++ - Size: 1.05 MB - Last synced at: 6 months ago - Pushed at: 6 months ago - Stars: 1 - Forks: 86

forked-from-1kasper/principia 📦

Principia: Metamath-like Logician Language

Language: OCaml - Size: 126 KB - Last synced at: 3 days ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

mountain/mmtk

An experimental toolkit of metamath based on mmj2

Language: Clojure - Size: 918 KB - Last synced at: about 1 month ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 0

trivial-rs/kernel

A Metamath Zero kernel for Trivial

Language: Rust - Size: 165 KB - Last synced at: 11 months ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 0

marnix/zigmmverify

Language: Zig - Size: 250 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 10 - Forks: 0

jzw2/rust-metamath

A Metamath verifier written in rust

Language: Rust - Size: 226 KB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 2

nonlin-lin-chaos-order-etc-etal/websofmath_now_sh_nextjs

Nonlinear Mathematics Example

Language: JavaScript - Size: 92.8 KB - Last synced at: about 1 month ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 1

void4/mmplot

Language: Objective-C++ - Size: 30.1 MB - Last synced at: about 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0