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: Sep 23 2023 at 07:01 UTC