Hegel's Logic in Cubical Agda

(ddebruce.github.io)

2 points | by hackandthink 8 hours ago ago