Proof Pearl - A Mechanized Proof of GHC's Mergesort.

Christian Sternagel

Published in: J. Autom. Reason. (2013)

Keyphrases

theorem prover
theorem proving
genetic algorithm
machine learning
computer vision
artificial neural networks
belief revision
formal proof