Login / Signup

FV Time: a formally verified Coq library.

Ana de Almeida BorgesMireia González BedmarJuan José Conejero RodríguezEduardo Hermo ReyesJoaquim Casals BuñuelJoost J. Joosten
Published in: CoRR (2022)
Keyphrases
  • theorem prover
  • formal methods
  • database
  • data sets
  • learning algorithm
  • information systems
  • training data
  • multiscale
  • public libraries