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