package coq-library-fol

  1. Overview
  2. Homepage

Description

Published: 07 Nov 2023

Dependencies (2)

  1. coq-library-undecidability = "1.1+8.17"
  2. coq >= "8.17" & < "8.18~"

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover