He Reiter, Ho Reiter, He Reiter, Immer weiter!
-
Updated
Mar 1, 2024 - Coq
He Reiter, Ho Reiter, He Reiter, Immer weiter!
A Coq library written by members of PnV Discord Server
A New Coq Formalisation of Classical First-Order Logic with Proofs of the Soundness and Completeness Theorems
Add a description, image, and links to the soundness topic page so that developers can more easily learn about it.
To associate your repository with the soundness topic, visit your repo's landing page and select "manage topics."