boogie-org/forro

A sample verifier for a toy language built on top of Boogie

语言：F# · GitHub 星标：27 · Fork：2

在 GitHub 上查看原仓库