metamath

There are 1 repository under metamath topic.

• egladysh / metamath

  Meta mathematics. Symbolic functions and derivatives.

  metamathderivativemathdslsymbolic-computationsymbolic-differentiation
  Language:C++ 32

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

  formal-proofsmetamath
  Language:ReScript 11

• marnix / zigmmverify

  metamathzigziglangproofsverifierproof-assistantproof-automation
  Language:Zig 11

• xamidi / pmGenerator

  An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.

  proof-theorypropositional-calculushpctbblogiccondensed-detachmentproof-complexitympiformal-proofshilbert-systemsfrege-systemsmathematical-logic
  Language:C++ 8

• metamath / lamp-guide

  Guide on how to use the metamath-lamp proof assistant

  formalismmathmathematicsmetamathproofproofs
  Language:HTML 2

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

  Nonlinear Mathematics Example

  mathmathematicssynergeticsnonlinearnonlinear-sciencesciencenlnlscisynergeticmetamathmmlogic
  Language:JavaScript 2

• trivial-rs / kernel

  A Metamath Zero kernel for Trivial

  metamathformal-verificationrust
  Language:Rust 2

• forked-from-1kasper / principia

  Principia: Metamath-like Logician Language

  formal-languageslogicmathematicsmetamathproof-assistanttheorem-prover
  Language:OCaml 1

• mountain / mmtk

  An experimental toolkit of metamath based on mmj2

  metamathverficationmathmathematics
  Language:Clojure 1

• jzw2 / rust-metamath

  A Metamath verifier written in rust

  rustmetamath
  Language:Rust 0

• void4 / mmplot

  metamathvisualization
  Language:Objective-C++