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: Jun 18 2024 at 08:01 UTC