adsneap

adsneap's Stars

• j0be/PowerDeleteSuite

  Power Delete Suite for Reddit

  Language:JavaScript1.7k112

• ericfinster/hott-mgs

  Homotopy Type Theory Exercises for MGS 2023

  Language:Agda123

• martinescardo/TypeTopology

  Logical manifestations of topological concepts, and other things, via the univalent point of view.

  Language:Agda23442