Skip to content
GitLab
Explore
Sign in
Iris
examples
Repository
examples
theories
proph
lib
one_shot_proph.v
Find file
Blame
History
Permalink
add trivial example for 'doomed' prophecy
· a2c0212f
Ralf Jung
authored
May 20, 2022
a2c0212f