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

20240209.tar.gz
md5=5fcfcac182c94ce54b2b67147a578152
sha512=4fea32463e67abe0fbb03f7526a0ad006618e05f2ada9fccd441dc3607416e58e35c450fbfbe884b4aa9ae0ce77b2ae98dcf4bf0044b8d96c793374ae852d4a3

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:2024-02-09 keyword:classical logic logpath:TLC

Published: 13 Feb 2024

Dependencies (1)

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

Dev Dependencies

None

Used by (2)

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

Conflicts

None