Skip to content

Order theory from @spcfox's modal logic #8130

Order theory from @spcfox's modal logic

Order theory from @spcfox's modal logic #8130

Annotations

2 errors

typecheck (ubuntu-latest, 2.6.4)

cancelled Oct 19, 2024 in 1m 0s