package coq-library-fol

  1. Overview
  2. Homepage

Description

Published: 06 Feb 2025

Dependencies (2)

  1. coq-library-undecidability = "1.1.2+8.20"
  2. coq >= "8.20" & < "9.0~"

Dev Dependencies

None

Used by

None

Conflicts

None

Rocq

Interactive Theorem Prover