Isabelle Community Cookbook

A collection useful tips/tricks/hints for Isabelle users.

View the Project on GitHub isabelle-prover/cookbook

Searching Isabelle

  1. To search for theorems and constants inside imported sessions, check out this tutorial.
  2. For a string- and entity-based search platform including the AFP, check out search.isabelle.in.tum.de.
  3. For a concept-oriented search platform including the AFP, check out SErAPIS.