View the documentation at adelfa-prover.org.
This website uses Nextra to generate documentation for the Adelfa project.
Each push to the main branch will trigger a deployment to the website.
Many of the pages are fully static, but we generate the publications at build
time from the pubs.bib file.
We provide two custom Shiki language definitions as TextMate grammars.
To use either of these, you can define the markdown code block to be the
adelfa or lf language respectively.
First, run npm i to install the dependencies.
Then, run npm dev to start the development server and visit localhost:3000.
This project is licensed under the MIT License.