Isabelle Quick Access Links

Quick link: isabelle.systems/code, e.g. isabelle.systems/afp


Something missing? Something broken? Create a pull request or issue to let us know.