Difference between revisions of "User:Cetinsert"

From HaskellWiki
Jump to: navigation, search
 
Line 1: Line 1:
[http://corsis.de/contact/ Contact Cetin Sert]
+
== Projects ==
 +
* [http://okitsune.sourceforge.net okitsune] self-study project for automated reasoning
 +
 
 +
== User ==
 +
* [http://corsis.blogspot.com blog]
 +
* [http://corsis.de/contact/index2.html contact]

Revision as of 16:26, 12 March 2008

Projects

  • okitsune self-study project for automated reasoning

User