Skip to content
Snippets Groups Projects

Turn some non-recursive `Fixpoint`s into `Definition`s.

Passed
Robbert Krebbers created pipeline for commit 2ec23bde
, finished
For master
branch
6 jobs 10 minutes 55 seconds, queued for 2 seconds