Skip to content

isabelle-prover/isabelle-prover.github.io

Repository files navigation

Isabelle Systems

What is this?

This repository contains resources for the isabelle.systems website. The website contains a list of interesting Isabelle websites, tools, projects, etc. and corresponding redirects that are generated from the corresponding entries in this repository.

How to contribute

If you want to add/udpdate an entry, simply add/edit the corresponding entry in the corresponding directory and create a pull request. If you need help, simply create an issue.

Build site locally

To build and view the website locally, see here.