Skip to content
Check the Agda files

Union, Intersection, Set Difference and Further Operations on Indexed Sets #369

Sign in to view logs

Union, Intersection, Set Difference and Further Operations on Indexed Sets

Union, Intersection, Set Difference and Further Operations on Indexed Sets #369

Re-run triggered October 7, 2025 10:55
@ibbemibbem
#92
isetops-fixed
Status Success
Total duration 2m 15s
Artifacts –

check.yml

on: pull_request
build
2m 9s
build
Fit to window
Zoom out
Zoom in