Nikos Gorogiannis

icon indicating a website link http://ngorogiannis.bitbucket.org/

icon company @facebook

Results 1 repositories owned by Nikos Gorogiannis

cyclist

22
Stars
4
Forks
Watchers

A cyclic theorem prover framework.

verified publisher icon ngorogiannis