zermelo44

3 ms·

1. 1.▲
   by zermelo44 5mo ago

   Good post! +1
2. 2.▲
   by zermelo44 1y ago

   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 throughout my PhD. I was born with congenital torticollis (fib
3. 3.▲
   by zermelo44 2y ago

   The presentation of the webpage is really really nice. Especially the highlighting/linking of mathematical definitions and bound variables. How did you achieve this?
4. 4.▲
   by zermelo44 2y ago

   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.