Euclid-MCP

Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees

Otherv0.4.5