Skip to content

GitLab

E
examples

Merge branch 'ales/lecture-notes-examples' into 'master' 

Add more examples from the lecture notes.

See merge request FP/iris-examples!6
2 jobs for master in 17 minutes and 52 seconds (queued for 1 second)
a66aa086
No related merge requests found.
Status Job ID Name Coverage
  Build
passed #11146
fp
build-coq.8.6.1

00:17:51

passed #11145
fp-timing
build-coq.8.7.1

00:11:44