Section: Software

SomeWhere

Name:

SomeWhere

Contact:

François Goasdoué (fg@lri.fr)

Other contacts:

Philippe Chatalic (chatalic@lri.fr) and Laurent Simon (simon@lri.fr)

Presentation:

a peer-to-peer infrastructure for propositional reasoning