Lib.rs

› 关键词 #dedukti #rewriting #type-checking #verification #theorem-prover #lfsc

#dependent-types

  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. rlfsc

    LFSC证明语言的检查器

    v0.2.2 #smt #type-checker #lfsc #dependent-types #proof-checker

  4. mononym

    Rust中支持部分依赖类型的类型级别命名值

    v0.1.0 #value #named #dependent #dependent-types #name #partial #type-level

  5. dedukti-parse

    Dedukti文件格式的解析器

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

  6. kers

    依赖类型面向对象的脚本

    v0.1.0 #type-checking #type #parser #language #dependent-types #script

    7. 尝试使用DuckDuckGo进行搜索 搜索.