package coq-pil
Coq library for Propositional Intuitionistic Logic & Pitts Interpolation Library
Install
Dune Dependency
Authors
Maintainers
Sources
1.0.1.tar.gz
sha256=de73d133b8dd50539ff50208d82df13b0a5d7429f8be9ce27472211a6a0cabac
Description
Tags
date:2025-02-14 keyword:intuitionistic logic keyword:proof theory keyword:propositional quantifiers category:Computer Science/Decision Procedures and Certified Algorithms/Decision procedures category:Mathematics/Logic/Foundations category:Mathematics/Logic/Modal logic logpath:ISLPublished: 26 Feb 2025
Dependencies (3)
- coq-equations
-
coq-stdpp
>= "1.11.0" -
coq
>= "8.20"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page