Skip to main content


Eclipse Community Forums
Forum Search:

Search      Help    Register    Login    Home
Home » Archived » COSMOS » proposal for some initial proof of concept
proposal for some initial proof of concept [message #568560] Thu, 21 December 2006 16:36
Harm Sluiman is currently offline Harm SluimanFriend
Messages: 20
Registered: July 2009
Junior Member
As discussed in the weekly call, I finally started putting some thoughts in
the wiki. I hung the content of the working sessions page for now.

http://wiki.eclipse.org/index.php/COSMOSInitalPrototype

Please post comments here or add to the page. The basic idea is to leverage
chunks of TPTP but start doing our own api and use some SMLish model for the
basic system structure.
Previous Topic:Seeking input for Community calls for 2007
Next Topic:proposal for some initial proof of concept
Goto Forum:
  


Current Time: Fri Mar 29 07:50:08 GMT 2024

Powered by FUDForum. Page generated in 0.03247 seconds
.:: Contact :: Home ::.

Powered by: FUDforum 3.0.2.
Copyright ©2001-2010 FUDforum Bulletin Board Software

Back to the top