package coq-tlc
- Overview
- No Docs
You can search for identifiers within the package.
in-package search v0.2.0
TLC: A Library for Classical Coq
Install
Dune Dependency
Authors
Maintainers
Sources
20200328.tar.gz
md5=c62a434ed2d771d0d1814d0877d9a147
sha512=33996475d9b3adc1752fd91ddbac5ebbe5bd7f22583c788807dd7ca9cd0363476621135884cf2603c1003c9c280811633a5a66ab2a279bf21cb1b39e60ae47a3
Description
Provides an alternative to the core of the Coq standard library, using classic definitions.
Tags
category:Miscellaneous/Coq Extensions date:2020-03-28 keyword:library keyword:classic logpath:TLCPublished: 28 Mar 2020
On This Page