meo

Euclid-MCP

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