Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Website with Isabelle links and redirects

Email Gateway (Aug 23 2022 at 08:35):

From: Kevin Kappelmann <kevin.kappelmann@tum.de>
Dear list,

Thanks to Lars Hupel, we now have a website [1] containing a list of
interesting Isabelle websites and corresponding redirects [2] that are
automatically generated from a git repository [3]. Feel free to add/edit
entries by creating a pull request as noted in the README of the repository.

Best wishes,

Kevin

[1] https://isabelle.systems/
[2] e.g. https://isabelle.systems/afp or https://isabelle.systems/dev etc.
[3] https://github.com/isabelle-prover/isabelle-prover.github.io/

Last updated: Apr 25 2024 at 16:19 UTC