Skip to content
Snippets Groups Projects

add some meta theory on finite step-indexed simulations

Passed
Simon Spies created pipeline for commit 46761c18
, finished
For master
branch
1 job 6 minutes 20 seconds, queued for 3 seconds