Viewing profile — zermelo44

Good post! +1

Thanks for posting. I look forward to following along. I have had chronic pain and other annoying functional neurological symptoms for the past 4 years. It started about halfway th…

The presentation of the webpage is really really nice. Especially the highlighting/linking of mathematical definitions and bound variables. How did you achieve this?

Great paper for exploring the foundations of Isabelle. It's a shame the rest of the literature needed to properly understand Isabelle is scattered amongst many papers.