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

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

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

Thu, 21 December 2006 11:36

Eclipse User

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:

-=] Back to Top [=-

Current Time: Sun Mar 16 16:24:17 EDT 2025

.:: Contact :: Home ::.

Breadcrumbs

Sign up to our Newsletter