dafny-lang dafny Ideas · Discussions · GitHub

Ideas Discussions

Share ideas for new features

You must be logged in to vote

Dafny vs Ownership

kjx started Jan 9, 2024 in Ideas

0
You must be logged in to vote

Next-gen subset type

MikaelMayer started Nov 4, 2021 in Ideas

7
Reinventing Dafny from scratch: Keywords function, method, compiled, ghost, predicate, lemma

MikaelMayer started Nov 5, 2021 in Ideas

42