lib:ghc-proofs

Modules

• GHC.Proof
• GHC.Proof.Plugin

Dependencies

• base lib:base >=4.9 && <4.11
• ghc lib:ghc >=8.2 && <8.4

Reverse dependencies

Direct only. Not exhaustive.

• acme-everything lib:acme-everything
• generic-lens test:generic-lens-test
• ghc-proofs test:hlint
• ghc-proofs test:successors