Giters
KWARC
/
GLIF
The Grammatical Logical Inference Framework
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
8
Watchers:
9
Issues:
3
Forks:
1
KWARC/GLIF Stargazers
Jacob Tan En
2jacobtan
⨏𝑒𝑙𝑖d𝑧
felidz
Indiscipline
IndisciplineHQ
Jeff Carpenter
JeffCarpenter
Jiayi Pan
Jiayi-Pan
Kathrin Janowski
kjanowski
Matt Erbst
merbst
Michael Goff
msgoff