Giters
gilith
/
hol
A purely functional higher order logic kernel
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
11
Watchers:
2
Issues:
0
Forks:
1
gilith/hol Stargazers
Daniel Kahlenberg
573
adelon
Anton Vodonosov
avodonosov
Chun Tian
binghe
Daniel Díaz Carrete
danidiaz
Eric Conlon
ejconlon
James Haydon
jameshaydon
Mesabloo
Mesabloo
Ian Zimmerman
nobrowser
Passw
Mohammad Hasani
the-dr-lazy