Skip to content
GitLab
Explore
Sign in
Håkon Gylterud
hott-set-theory
Forks
1 fork: 1 public, 0 internal, and 0 private
Created date
HoTT /
hott-set-theory
Fix definition of indexed container
3
Updated
Apr 19, 2024
3
0
0
12
Updated
Apr 19, 2024