There was a problem fetching the pipeline metadata.
Merge branch 'ralf/lia' into 'master'
use lia instead of omega See merge request robbertkrebbers/coq-stdpp!37
No related branches found
No related tags found
Pipeline #
Showing
- theories/collections.v 5 additions, 5 deletionstheories/collections.v
- theories/gmultiset.v 22 additions, 22 deletionstheories/gmultiset.v
- theories/infinite.v 6 additions, 6 deletionstheories/infinite.v
- theories/list.v 1 addition, 1 deletiontheories/list.v
- theories/nat_cancel.v 6 additions, 6 deletionstheories/nat_cancel.v
Loading
Please register or sign in to comment