Skip to content

Reconcile with upstream Displayed Reasoning changes #348

Reconcile with upstream Displayed Reasoning changes

Reconcile with upstream Displayed Reasoning changes #348

compile-agda

succeeded Sep 19, 2024 in 27m 15s