Skip to content
Jira sync

structural recursion over inductive predicates struggle with reflexive inductives #5

Sign in to view logs

structural recursion over inductive predicates struggle with reflexive inductives

structural recursion over inductive predicates struggle with reflexive inductives #5

Triggered via issue July 28, 2024 17:47
@nomeatanomeata
closed #4751 f830fc9
Status Success
Total duration 14s
Artifacts –

jira.yml

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