![](/img/cover-not-exists.png)
How to make ad hoc proof automation less ad hoc
GONTHIER, GEORGES, ZILIANI, BETA, NANEVSKI, ALEKSANDAR, DREYER, DEREKVolume:
23
Language:
english
Journal:
Journal of Functional Programming
DOI:
10.1017/S0956796813000051
Date:
July, 2013
File:
PDF, 791 KB
english, 2013