• search
    search
  • reviewers
    reviewers
  • feeds
    feeds
  • assignments
    assignments
  • settings
  • logout

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