Sign in

Introduction to Milestones in Interactive Theorem Proving.

Jeremy AvigadJasmin Christian BlanchetteGerwin KleinLawrence C. PaulsonAndrei PopescuGregor Snelting
Published in: J. Autom. Reason. (2018)
Keyphrases
  • interactive theorem proving
  • databases
  • case study
  • real world
  • machine learning
  • social networks
  • knowledge base
  • video sequences
  • computer science
  • case based reasoning
  • low cost