compilersEllie/tako

An experimental programming language for ergonomic software verification

语言：Rust · GitHub 星标：16 · Fork：1

话题：experimental-programming-language · hoare-triples · interpreter · language · programming-language-theory · solver · verification

在 GitHub 上查看原仓库