Skip to content

why3find prove command

Loïc Correnson requested to merge feature/prove into master
  • prover calibration
  • hammer proof strategy
  • robust cache structure
  • no-cache / clean-cache
  • full proof log
  • fix mode (run IDE on session ?)
  • chdir to why3find.config directory or use -C
  • remove hammer command
  • integrate to doc
Edited by Loïc Correnson

Merge request reports