verso-test

This repository contains a simple test for verso.

How to run it

Install lean4, clone this repository and then run

lake exe verso-test

This creates index.html und docs/html-single.

See the result

That verso generated can be found here on GitHub pages.