Giters
trivial-rs

trivial-rs

Geek Repo

Github PK Tool:Github PK Tool

trivial-rs's repositories

kernel

A Metamath Zero kernel for Trivial

Language:RustLicense:NOASSERTIONStargazers:2Issues:2Issues:1

compiler

The Trivial compiler framework for Metamath Zero binary proofs

Language:RustStargazers:0Issues:2Issues:0

mmb-binutils

Utility tools for Metamath Zero binary proof files

Language:RustLicense:NOASSERTIONStargazers:0Issues:2Issues:0

mmb-parser

A parser for the Metamath Zero binary proof format

Language:RustLicense:NOASSERTIONStargazers:0Issues:2Issues:0

mmb-types

Definitions of opcodes present in the Metamath Zero binary format

Language:RustLicense:NOASSERTIONStargazers:0Issues:2Issues:0

verifier

The Trivial proof verifier - an interface to the Metamath Zero kernel

Language:RustStargazers:0Issues:2Issues:0