Difference between revisions of "User:Cetinsert"
Jump to navigation
Jump to search
Line 1: | Line 1: | ||
+ | == Projects == |
||
⚫ | |||
+ | * [http://okitsune.sourceforge.net okitsune] self-study project for automated reasoning |
||
+ | |||
+ | == User == |
||
+ | * [http://corsis.blogspot.com blog] |
||
⚫ |