Skip to content

@trivial-rs trivial-rs

Change the repository type filter

All

    Repositories list

    6 repositories

    • mmb-parser

      Public
      A parser for the Metamath Zero binary proof format
      Rust
      •
      Other
      •0•0•0•0•Updated Apr 6, 2021Apr 6, 2021

    • kernel

      Public
      A Metamath Zero kernel for Trivial
      rustformal-verificationmetamath
      Rust
      •
      Other
      •0•2•1•0•Updated Apr 5, 2021Apr 5, 2021

    • mmb-binutils

      Public
      Utility tools for Metamath Zero binary proof files
      Rust
      •
      Other
      •0•0•0•0•Updated Apr 4, 2021Apr 4, 2021

    • verifier

      Public
      The Trivial proof verifier - an interface to the Metamath Zero kernel
      Rust
      •0•0•0•0•Updated Mar 4, 2021Mar 4, 2021

    • compiler

      Public
      The Trivial compiler framework for Metamath Zero binary proofs
      Rust
      •0•0•0•0•Updated Mar 4, 2021Mar 4, 2021

    • mmb-types

      Public
      Definitions of opcodes present in the Metamath Zero binary format
      Rust
      •
      Other
      •0•0•0•0•Updated Mar 4, 2021Mar 4, 2021