Homotopy Type Theory for Dummies

2 pointsposted 14 hours ago
by fanf2
(chriswarbo.net)

1 Comments

abstractspoon

35 minutes ago

Why are there still websites not using https?