Giters
snomura1

snomura1

Geek Repo

0

followers

0

following

2

stars

Github PK Tool:Github PK Tool

snomura1's repositories

NomuraS.github.io

Language:HTMLStargazers:0Issues:0Issues:0

pyproverold

Resolution theorem proving for predicate logic in pure Python.

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0