Home  /  Education Apps  /  HOL Theorem Prover on Windows Pc  /  Download

Download HOL Theorem Prover Production on Windows Pc

Download APK (1.4 MB)

Technical details

  • File Name: HOL Theorem Prover-vProduction-appsonwindows.com.apk
  • Version: Production (Release Date April 23, 2018)
  • File Size: 1.4 MB
  • File MD5: DCD409993CE8896F947833F3EA05F484
  • Developed By: AppsInProgress

Discussion

(*) is required

Download other versions

Other versions available: Production.

Download HOL Theorem Prover Production on Windows PC – 1.4 MB