`assume (); false` is accepted as a proof - Githubissues

FStarLang / fstar_dataset

MIT License

0 stars 0 forks source link

`assume (); false` is accepted as a proof #10

Closed gebner closed 1 year ago