martinescardo/TypeTopology
Logical manifestations of topological concepts, and other things, via the univalent point of view.
AgdaGPL-3.0
Stargazers
- 5HT@arvo-computer
- andrejtokarcikBratislava, Slovakia
- awkure4096R/C20C9D19
- awtoUnited Kingdom
- bryangingechen
- chenzhuoshuai
- curiousleo
- danr@pharmbio
- diego9627Cambridge, MA
- dmalikov
- Ed94Metavoke
- edvmorangoSão Paulo
- eulerfxAlvys.com
- fuath
- haitlahcen
- iblechUniversity of Padova
- jmitchellSeattle
- jonsterlingUniversity of Cambridge
- lemasteroLublin
- logicshan
- matthewjwoodruff
- mietek
- mroman42University of Oxford
- ndcroos
- Nievlegkbyt
- nikitavoloboevTbilisi
- ollefAscenium
- recmo@worldcoin
- relrod@Ansible @ Red Hat, Inc.
- scott-fleischman
- sgalal
- the-cc-devShreveport, Louisiana, USA
- tkersey@thisisartium
- Will-cert
- wrrnhttn
- YiqiXu