Lib.rs

› 关键词 #dependent-types #rewriting #verification #type-checking #theorem-prover

dedukti

  1. kocheck

    lambda-Pi演算的rewriting模下的类型检查器

    v0.4.2 #rewriting #verification #dedukti #type-checking #dependent-types

  2. kontroli

    lambda-Pi演算的rewriting模下的类型检查器

    v0.4.0 #rewriting #verification #dedukti #type-checking #theorem-prover #dependent-types

  3. dedukti-parse

    Dedukti文件格式的解析器

    v0.3.1 #rewriting #dedukti #dependent-types #file-format