Skip to content

Add clairvoyant_coin example

Amin Timany requested to merge amintimany/iris-coq:clairvoyant into master

The clairvoyant coin uses prophecies to predict, upon creation, the exact sequence of values it will have in the future.

Merge request reports