Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle /HOL how to compile program

view this post on Zulip Email Gateway (Aug 18 2022 at 18:25):

From: vikram singh <vikramsmsjpr@gmail.com>
Sir
I have downloaded and installed Isabelle proof assistant. I have already
studied the book. but I am not able to compile the program. I searched a lot
but didnt fine a any book or material that can help me to compile and run
code. sir please help me

view this post on Zulip Email Gateway (Aug 18 2022 at 18:25):

From: Jasmin Blanchette <jasmin.blanchette@gmail.com>
Dear Vikram,

The Isabelle versions at

http://www.cl.cam.ac.uk/research/hvg/Isabelle/download.html

are already compiled and prepackaged. These instructions should be fairly detailed and accurate. If this still don't work, please provide more information (what steps you did, which platform, etc.) and maybe somebody can help you.

Regards,

Jasmin

Last updated: Apr 26 2024 at 12:28 UTC