Concrete Semantics with Coq and CoqHammer.

Lukasz Czajka Burak Ekici Cezary Kaliszyk

Published in: CoRR (2018)

Keyphrases

formal semantics
logic programming
semantic information
theorem prover
semantic representation
machine learning
formal methods
data sets
neural network
real world
genetic algorithm
information systems
object oriented
operational semantics