Accidental thing put in the wrong place
was Owned by ajewellamz.
#5 in #wrong
232 downloads per month
325KB 8K SLoC
Do not use this crate. Use the dafny-runtime crate instead.
~1MB ~19K SLoC