Eclipse Community Forums: COSMOS » proposal for some initial proof of concept

Help

Home

Home » Archived » COSMOS » proposal for some initial proof of concept

Show: Today's Messages :: Show Polls :: Message Navigator

proposal for some initial proof of concept [message #568560]

Thu, 21 December 2006 16:36

Harm Sluiman

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.

Report message to a moderator

Previous Topic:	Seeking input for Community calls for 2007
Next Topic:	proposal for some initial proof of concept

Goto Forum:

-=] Back to Top [=-

[ Syndicate this forum (XML) ] [

]

Current Time: Wed Feb 08 08:33:54 GMT 2023

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter