Skip to content

Order theory from @spcfox's modal logic #8122

Order theory from @spcfox's modal logic

Order theory from @spcfox's modal logic #8122

Annotations

2 errors

typecheck (ubuntu-latest, 2.6.4)

cancelled Oct 19, 2024 in 15s