Login / Signup

Coq Coq correct! verification of type checking and erasure for Coq, in Coq.

Matthieu SozeauSimon BoulierYannick ForsterNicolas TabareauThéo Winterhalter
Published in: Proc. ACM Program. Lang. (2020)
Keyphrases
  • formal methods
  • theorem prover
  • high level
  • model checking
  • database
  • databases
  • artificial intelligence
  • general purpose
  • type checking