metamath

There are 11 repositories under metamath topic.

  • egladysh/metamath

    Meta mathematics. Symbolic functions and derivatives.

    Language:C++32503

  • 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:ReScript1421255

  • marnix/zigmmverify

    Language:Zig11500

  • metamath/lamp-guide

    Guide on how to use the metamath-lamp proof assistant

    Language:HTML35191

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

    Nonlinear Mathematics Example

    Language:JavaScript2201

  • trivial-rs/kernel

    A Metamath Zero kernel for Trivial

    Language:Rust2210

  • forked-from-1kasper/principia

    Principia: Metamath-like Logician Language

    Language:OCaml1300

  • 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++11086

  • mountain/mmtk

    An experimental toolkit of metamath based on mmj2

    Language:Clojure142

  • void4/mmplot

    Language:Objective-C++100

  • jzw2/rust-metamath

    A Metamath verifier written in rust

    Language:Rust0172