There was an error while loading. Please reload this page.
Better headings, better sections Lars wrote
Process comments Omer on wiki
Markdown fixes from markdownlint-cli2
Highlight all code, remove TODOs, imrpove spelling
Updated Installing and Running VerCors (markdown)
Refer to homepage/README instead of having two copies of the installation instructions
Update JDK/JRE version requirements
fix typo
Update list of dependencies
Created Installing and Running VerCors (markdown)