How to make ad hoc proof automation less ad hoc

Gonthier, Georges and Ziliani, Beta and Nanevski, Aleksandar and Dreyer, Derek
(2013) How to make ad hoc proof automation less ad hoc.
J. Funct. Program., 23 (4). pp. 357-401.

Full text not available from this repository.

Actions

Actions (login required)

View Item View Item