José A. Alonso on Nostr: Isabelle quick start guide. ~ Lawrence Paulson (nprofile1q…k47al). #ITP ...
Isabelle quick start guide. ~ Lawrence Paulson (nprofile1qy2hwumn8ghj7un9d3shjtnddaehgu3wwp6kyqpq2kunh6h3ymyj2x8a64cuvej0enuu05syacrlleksa4crzpmszgwsck47al (nprofile…47al)). https://lawrencecpaulson.github.io//2024/12/20/Quickstart.html #ITP #IsabelleHOL #Math