SpiceQA
Questions
Tags
Users
Badges
equational-reasoning
2 Questions
Newest
Active
Unanswered
Frequent
More
Score
View
Card
Compact
Why is chain of equational reasoning failing to meet trivially solvable constraints?
user_1549736
0
•
asked Feb 4, 2022
2
1
72
equational-reasoning
agda
type-constraints
Keeping track of "state" when writing equality proofs that are long chains of transitively linked steps
user_477476
0
•
asked Oct 3, 2017
3
1
107
equational-reasoning
idris
agda
proof
1
(current)
Hot Questions