Formal verification code for IFP
In IFP.lean, Veil does not generate counterexamples with set_option veil.printCounterexamples true.
In IFP2.lean also, the above issue occurs.
-
Notifications
You must be signed in to change notification settings - Fork 0
sarvalabs/ifp-proofs
About
Formal verification code for IFP
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published