Login / Signup

Goal Translation for a Hammer for Coq (Extended Abstract).

Lukasz CzajkaCezary Kaliszyk
Published in: HaTT@IJCAR (2016)
Keyphrases
  • extended abstract
  • information systems
  • decision trees
  • machine translation
  • feature selection
  • search algorithm
  • theorem prover
  • formal methods