Giters
ernius
/
formalmetatheory-nominal-Church-Rosser
Formalisation of Church Rosser Theorem
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
5
Watchers:
3
Issues:
0
Forks:
2
ernius/formalmetatheory-nominal-Church-Rosser Stargazers
Pedro Abreu
pedrotst
Liang-Ting Chen
L-TChen
Orestis Melkonian
omelkonian
Mitja O
dee-me-tree-or-love
breandan
breandan