Skip to content
Jira sync

RFC: Bounded recursion instead of well-founded recursion on Nat #93

Sign in to view logs

RFC: Bounded recursion instead of well-founded recursion on Nat

RFC: Bounded recursion instead of well-founded recursion on Nat #93

Triggered via issue September 10, 2024 06:16
@nomeatanomeata
closed #5234 5a9cfa0
Status Success
Total duration 13s
Artifacts –

jira.yml

on: issues
jira-sync
4s
jira-sync
Fit to window
Zoom out
Zoom in