Adapting Proofs-as-Programs

Adapting Proofs-as-Programs

File Size : 95,95 MB
Total View : 6093 Views
DOWNLOAD

This monograph details several important advances in the direction of a practical proofs-as-programs paradigm, which constitutes a set of approaches to developi