Giters
jaycech3n
/
Isabelle-Spartan
A dependent type theory logic for Isabelle
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
6
Watchers:
5
Issues:
1
Forks:
1
jaycech3n/Isabelle-Spartan Stargazers
adelon
Brendan Zabarauskas
brendanzab
Daniel
dan323
Kevin Kappelmann
kappelmann
Tim Kersey
tkersey
Diego Pedraza
Zegeri