david8

Here are 6 public repositories matching this topic...

synthetic weyland-yutani david8 accessnotessence

lean lean4 weyland-yutani david8 accessnotessence

Formalizing Homotopy-Bridge and Hodge Cycles alignment via Cubical Agda & HoTT in Observation Log David 8.

agda hott homotopy-type-theory cubical-agda hodge-conjecture david8

starship synthetic weyland-yutani david8 accessnotessence

synthetic weyland-yutani david8 accessnotessence

synthetic weyland-yutani david8 accessnotessence

To associate your repository with the david8 topic, visit your repo's landing page and select "manage topics."