The following pages link to (Q5219927):
Displaying 5 items.
- Distilling the requirements of Gödel's incompleteness theorems with a proof assistant (Q2051568) (← links)
- Variants of Gödel's ontological proof in a natural deduction calculus (Q2363503) (← links)
- Interacting with Modal Logics in the Coq Proof Assistant (Q3194730) (← links)
- Para-Disagreement Logics and Their Implementation Through Embedding in Coq and SMT (Q3305339) (← links)
- A Coq implementation of the program algebra in Jifeng He's new roadmap for linking theories of programming (Q6535845) (← links)