Skip to content

Draft: Resolve "certified termination (abstract and SRS) in Agda"

waldmann requested to merge 360-certified-termination-abstract-and-srs-in-agda into master

Closes #360

Merge request reports