A Formalization of Core Why3 in Coq.

Joshua M. Cohen Philip Johnson-Freyd

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

database
knowledge representation
formal model
trade off
data sets
theorem prover
formal methods
multiscale
support vector
computational complexity
expert systems