- changed status to resolved
Theorem proving interface should translate cardinalities etc to FO
Issue #364
resolved
No description provided.
Comments (1)
-
reporter - Log in to comment