Lib.rs

› 关键词 #dependent-types #verification #dedukti #rewriting #check #yatima #nat

#type-checking

  1. kocheck

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

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

  2. yatima-core

    Yatima语言的核评估、类型检查和内容寻址基础设施

    v0.1.1 #programming-language #yatima #math #type-checking #reference #nat #infrastructure

  3. kontroli

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

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

  4. chandeliers-san

    Candle的AST定义和静态分析过程

    v1.0.0 #candle #static-analysis #ast #type-checking #resolution #definition #error

  5. any_library

    我的第一个类型检查库

    v0.1.7 #type-checking #any #check #first

  6. checking

    Rust的数据检查器

    v0.1.0 #checker #type-checking #check #type

    7. 使用DuckDuckGo进行搜索：搜索.

  7. kers

    依赖类型面向对象数据脚本

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