package coq-tlc

  1. Overview
  2. No Docs
TLC: A Library for Classical Coq

Install

Dune Dependency

github.com Edit opam file Versions (9)

Authors

  1. A
    Arthur Charguéraud

Maintainers

  1. A
    arthur.chargueraud@inria.fr

Sources

20211215.tar.gz
md5=1f9aef5feee4f2d41f7319231958474a
sha512=9f700cc08b58d9308f07d1e747b9cac431b9e6947a37e51cd9a5ec7972f5c684af444a1782011adfbb507dd45d4bad54ad028a08807757a072575bd88117a935

Description

Provides an alternative to the core of the Coq standard library, using classic definitions.

Tags

category:Computer Science/Data Types and Data Structures date:2021-12-15 keyword:classical logic logpath:TLC

Published: 15 Dec 2021

Dependencies (1)

  1. coq >= "8.13" & < "8.17"

Dev Dependencies

None

Used by (2)

  1. coq-cfml < "20181201"
  2. coq-cfml-basis

Conflicts

None