HoTTEST
@jdchristensen123 • 2.8K subscribers • 2 videos on Hallway • 2 recommendations
Open on YouTube
Jon Sterling, Is it time for a new proof assistant?
HoTTEST
Recommended by 1
@jdchristensen123 • 2.8K subscribers • 2 videos on Hallway • 2 recommendations
Open on YouTube