Stream: Coq users

Topic: Explanation of foundational differences of diff provers?


view this post on Zulip jco (Jun 22 2020 at 05:37):

I'm curious if there are any overview type papers which explain the theoretical underpinnings of the various theorem provers, and how they differ


Last updated: Oct 13 2024 at 01:02 UTC