There was a problem fetching the pipeline mini graph.
Merge branch 'ralf/ci/box' into 'master'
Make box a definition and prove it contractive See merge request !5
No related branches found
No related tags found
Pipeline #
Showing
- .gitlab-ci.yml 1 addition, 0 deletions.gitlab-ci.yml
- theories/typing/examples/lazy_lft.v 2 additions, 2 deletionstheories/typing/examples/lazy_lft.v
- theories/typing/function.v 7 additions, 7 deletionstheories/typing/function.v
- theories/typing/own.v 60 additions, 23 deletionstheories/typing/own.v
- theories/typing/type.v 2 additions, 32 deletionstheories/typing/type.v
- theories/typing/unsafe/spawn.v 3 additions, 4 deletionstheories/typing/unsafe/spawn.v
Loading
Please register or sign in to comment