Ice1000's archives

icon indicating a website link https://ice1000.org

icon location ice1000's archive org, used to store naive or unimportant codes

Results 1 repositories owned by Ice1000's archives

ConsHoTT

36
Stars
1
Forks
Watchers

Constructive Interpretations of HoTT

verified publisher icon ice1k