Lib.rs

› 关键字 #proof #trivial #kernel #binary #experimental #formal-verification

Metamath-Zero

  1. trivial-kernel

    为平凡性定义的 Metamath-Zero 内核

    v0.9.0 #trivial #kernel #zero #metamath-zero #experimental #formal-verification #proof

  2. mmb-types

    Metamath-Zero 二进制格式中存在的 opcodes 定义

    v0.3.1 #opcode #definition #binary-format #zero #metamath-zero #present #proof

  3. trivial-verifier

    平凡证明验证器 - Metamath-Zero 内核的接口

    v0.8.0 #trivial #metamath-zero #verifier #proof #interface #kernel

    4. 尝试使用 DuckDuckGo 搜索 搜索.

  4. trivial-compiler

    Metamath-Zero 二进制证明的 Trivial 编译器框架

    v0.3.0 #trivial #metamath-zero #proof #compiler #binary #framework

  5. mmb-parser

    Metamath-Zero 二进制证明格式的解析器

    v0.7.0 #metamath-zero #proof #parser #binary #format #file #data-structures