Giters
tchajed
/
goedel-t
Formalization of termination of Gödel's System T
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
9
Watchers:
4
Issues:
0
Forks:
tchajed/goedel-t Stargazers
Anqur
anqurvanillapy
Byoungho Son
byhoson
Rhys Braginton Pettee Olsen
effervescentFibration
foreverbell
foreverbell
Joomy Korkut
joom
Marcos Benevides
mtrsk
Noah Evans
npe9
Yongrae Jo
rupc
themattchan