Skip to content

Draft: Initiate a Prosa Tutorial

Pierre Roux requested to merge tutorial into master

This is a follow up of !134 (closed) that I created on the wrong branch.

Rendering available at: http://prosa.mpi-sws.org/branches/tutorial/html-tutorial/tutorial.html

Edited by Pierre Roux

Merge request reports