issues
search
thehottgame
/
TheHoTTGame
Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT
124
stars
15
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
How to code a Mobius strip with this?
#20
garyzhubc
opened
3 months ago
1
Fix tiny typo in Quest3.agda
#19
SwampertX
closed
5 months ago
1
compatibility with recent cubical
#18
iblech
closed
8 months ago
1
Update for cubical 0.5
#17
ncfavier
opened
1 year ago
1
Completely stuck because I can't type "⊤"
#16
jameshfisher
closed
8 months ago
10
Don't commit the _build directory
#15
ncfavier
closed
2 years ago
1
Correct the definitions of `Sym*` and `*Sym`
#14
ghost
closed
2 years ago
0
Documentation isn't that helpful :(
#13
piegamesde
closed
2 years ago
3
Pin nix sources using niv / support WSL2
#12
o1lo01ol1o
closed
2 years ago
3
Integer Literal confusion
#11
russellmcc
closed
2 years ago
6
Various typos in text
#10
russellmcc
closed
2 years ago
2
Fix missing definition in solutions for quest 0
#9
russellmcc
closed
2 years ago
1
Make background color respect terminal setting
#8
elfi
closed
2 years ago
2
Support for nixified installation of agda and emacs on darwin
#7
o1lo01ol1o
closed
2 years ago
2
Issues trying to Install TheHoTTGame on Windows 10
#6
kram1032
closed
2 years ago
0
Issues trying to Install TheHoTTGame on Windows 10
#5
kram1032
closed
2 years ago
4
Integrate with the Agdapad
#4
iblech
closed
2 years ago
3
Parse error in cubical-0.3 Primitives
#3
DavidJaz
opened
2 years ago
20
Dead Second Link In README
#2
gfleetwood
closed
2 years ago
1
easy tidy-ups
#1
kbuzzard
closed
2 years ago
2