Published July 15, 2015 | Version v1
Report Open

Reverse Engineering of HOL Proofs

Authors/Creators

  • 1. ROR icon Inria Saclay - Île de France

Contributors

Researcher:

Supervisor:

  • 1. ROR icon Inria Saclay - Île de France

Description

This is an internship report on reverse engineering of proofs in higher order logic (HOL). Please contact Shuai Wang (shuai.wang.vu@gmail.com or shuai.wang@vu.nl) if there is any question.  

Files

holala-master.zip

Files (16.7 MB)

Name Size Download all
md5:c7c564698a50fd37a496b040f8b27052
6.3 MB Preview Download
md5:5d523141304a27f773466b6230becab8
29.2 kB Preview Download
md5:d63f28f4ae839c62476be7cb46f34c17
9.2 MB Preview Download
md5:ada9face8455c4cf714c1a1f595d2bc6
1.1 MB Preview Download

Additional details

Additional titles

Alternative title (English)
Reverse Engineering of Higher Order Logic Proofs

Software

Programming language
OCaml