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: Feb 08 2023 at 23:03 UTC