Tags

Tags give the ability to mark specific points in history as being important

v0.6
protected

414e6676 · update OPAM files in preparation of v0.6 release · Oct 31, 2025

Release: Prosa v0.6
```
PROSA v0.6: The aRSA Edition 

Tested with Rocq 9.0.0, mathcomp 2.4.0, and mczify 1.5.0.
```
v0.5
protected

fcdb00b9 · Update POET's support code to match the newer aRTA blocking bound · Sep 28, 2022

Release: Prosa v0.5
v0.4
protected

ee05f255 · Add periodic task model · Dec 21, 2019

Release: Prosa v0.4
v0.3
protected

258edf49 · Formalization of Weakly Sustainable Policy · Jul 17, 2018
v0.2
protected

52dc407a · Remove LoadPath from util/all.v · Jul 12, 2016
v0.1
protected

266c9014 · Replace nat with time + clean-up code · Mar 02, 2016