Verified Functional Programming in Agda
Aaron Stump
评分 暂无
Agda is an advanced programming language based on Type Theory. Agda's type system is expressive enough to support full functional verification of programs, in two styles. In external verification,
