Stream: Beginner Questions

Topic: new to isssable from lean where to get started

louq (Oct 10 2024 at 18:59):

Im new to issabelle but Im fimilliar with lean. (with mathlib). Where do I start as a beginner? Thanks!

Yiming Xu (Oct 12 2024 at 04:24):

As a beginner from HOL4 I recently started with Isabelle. Quite a few people suggest https://isabelle.in.tum.de/website-Isabelle2024-RC1/dist/library/Doc/Prog_Prove/prog-prove.pdf
It seems a canonical place to start.
I tried it, and found it is readable. Especially for the Isar stuff. I found it helpful to go through the exercises.

Last updated: Dec 21 2024 at 16:20 UTC