search

pufferffish / agda-symmetries

MIT License
5 stars 1 forks source link

HoTT/UF presentation #90

Open pufferffish opened 3 months ago

pufferffish commented 3 months ago
  1. framework for universal algebra (5 mins)
  2. bags and permutation (5 mins)
  3. main results (10 mins)