Skip to content
GitLab
Explore
Sign in
Register
Nils Fitinghoff
why3
Repository
why3
stdlib
witness.mlw
Find file
Blame
History
Permalink
library: two versions of witness
· 17d69990
Jean-Christophe Filliâtre
authored
Jun 17, 2018
the constructive version is now in witness.Nat the non-constructive version is witness.Witness
17d69990