Giters
Shun Nakatani (kaicho8636)

kaicho8636

Geek Repo

2

followers

5

following

8

stars

Location:Japan

Twitter:@kaicho8636

Github PK Tool:Github PK Tool

Shun Nakatani's repositories

pyprover

Python-based theorem prover

Language:PythonStargazers:3Issues:2Issues:0

fish_algorithm

Language:ShellStargazers:0Issues:0Issues:0

proposition_theory_python

Definitions and proofs written in Python

Language:PythonStargazers:0Issues:0Issues:0