Giters
effectfully
/
OTT
Observational Type Theory as an Agda library
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
49
Watchers:
5
Issues:
1
Forks:
3
effectfully/OTT Stargazers
Christopher Goes
cwgoes
Sahith Narahari
sahith-narahari
herminie
pnlph
Philip Zucker
philzook58
Irene Yoon
euisuny
Henry Blanchette
rybla
Lîm Tsú-thuàn
dannypsnl
Nikita
nikitavoloboev
eashanhatti
Matthis Kruse
DasNaCl
Andrejs Agejevs
esneko
Ilmari Vacklin
wolverian
Rahul Chhabra
rahulc29
Previous
Next