intrspctr #128 The Introspector Project
The Introspector Project – monos libs for a postgres database backend. The Prover Engine is now separated from the Proof object, this allows the sharing of storage between all the methods of the proof. As next I will add support for multiple Views of Symbols that are linked to Statements in an Rdf Model that [...] [...more]