Formal or not formal? That is the question in AI for theorem proving

1 pointsposted 11 hours ago
by todsacerdoti
(xenaproject.wordpress.com)

No comments yet