×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [unsafe proof scripts]
Home >
unsafe proof scripts
VeriML DARPA CRASH Project Progress Report Antonis Stampoulis October 5 th, 2012 A language-based, dependently-typed, user-extensible approach to proof.
218 views