(in the context of automated theorem proving and beyond)
One-day workshop organised as a part of regular seminar on History and Philosophy of Mathematics in laboratory SPHERE, University Paris-Cité, on February 23, 2026. Further details.
January 27, 2026
Formalisation and deformalisation of mathematical reasoning
Comments Off on Formalisation and deformalisation of mathematical reasoning
No Comments
No comments yet.
RSS feed for comments on this post.
Sorry, the comment form is closed at this time.