Giters
m0rt1c
/
gomoltp
A modal logic thorem prover written in golang
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
1
Watchers:
0
Issues:
0
Forks:
0
m0rt1c/gomoltp Stargazers
Alessandro Pozone
poz1