michael/type-theory
2
0
Fork 0
Code Issues 11 Pull requests Projects 1 Releases Packages Wiki Activity Actions

Labels Milestones

Exact
Fuzzy
Exact
New issue
0 Open 4 Closed
1 hour 24 minutes
Label
Clear labels
asking-favonia
exercise
questions
size
L
T-equivalence
Milestone
No milestone
Projects
Clear projects
Open projects
thesis
Assignee
Clear assignees
No assignee
michael
Exercise 2.13: (2 ≃ 2) ≃ 2
exercise
T-equivalence
2
#8 by michael was closed 2024-05-08 23:34:24 +00:00
Bi-invertible equivalence
T-equivalence
2
#3 by michael was closed 2023-05-15 19:19:19 +00:00
Path between fibers for boolean equivalence
T-equivalence
25 minutes 33 seconds
2
#2 by michael was closed 2024-05-16 14:09:44 +00:00
Incorporate reverse-ap for proving equivalence
T-equivalence
59 minutes 21 seconds
3
#1 by michael was closed 2023-05-15 19:31:00 +00:00