Login / Signup

HOCore in Coq.

Petar MaksimovicAlan Schmitt
Published in: ITP (2015)
Keyphrases
  • test cases
  • formal methods
  • theorem prover
  • probability distribution
  • machine learning
  • software systems