@namin
2
Published Tools
0
Total Stars
Weekly Downloads
100/100
Avg Security
namin
Does a Dafny lemma actually mean what a natural language requirement says? Dafny can verify proofs, but it can't verify meaning. Claimcheck fills that gap.
No description available