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
Define and prove AFA and SAFA
3
Updated
May 27, 2024
3
0
0
12
Updated
May 27, 2024