Skip to content

Draft: Initiate a Prosa Tutorial

Pierre Roux requested to merge proux/rt-proofs:tutorial into master

This is an attempt to revive Borislav's Prosa tutorial.

This is currently still in a very initial state but I hope to reach a reviewable state in the coming weeks.

This uses the Alectryon tool to build a nice webpage while still remaining a simple vernacular file that can be stepped through.

Edited by Pierre Roux

Merge request reports