SpiceQA
Questions
Tags
Users
Badges
plfa
2 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
How do multiple rewrites expand into with?
user_17155841
0
•
asked Oct 15, 2021
2
0
80
plfa
agda
Termination checking failed to prove ∃-even′ : ∀ {n : ℕ} → ∃[ m ] ( 2 * m ≡ n) → even n
user_976371
0
•
asked Apr 17, 2021
3
1
71
plfa
agda
termination
1
(current)
Hot Questions