ssreflect 1.6.1-2build4 source package in Ubuntu
Changelog
ssreflect (1.6.1-2build4) artful; urgency=high * No change rebuild against new ocaml abis. -- Dimitri John Ledkov <email address hidden> Thu, 31 Aug 2017 02:11:25 +0100
Upload details
- Uploaded by:
- Dimitri John Ledkov
- Uploaded to:
- Artful
- Original maintainer:
- Ubuntu Developers
- Architectures:
- any all
- Section:
- math
- Urgency:
- Very Urgent
See full publishing history Publishing
Series | Published | Component | Section |
---|
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
ssreflect_1.6.1.orig.tar.gz | 4.5 MiB | 5c3e5d2e4020004280399de79b0935bff85db7865ed006450cbfe72fdfa33ec9 |
ssreflect_1.6.1-2build4.debian.tar.xz | 12.4 KiB | 936c14ba5a54c6e7f8e541040a1088d2b2a5ef8245d4d559c148a0058bee0417 |
ssreflect_1.6.1-2build4.dsc | 2.0 KiB | c61189acd41e654a4993b05e862ffafe9897004bf12b9073ce816ca2dc942037 |
Available diffs
Binary packages built by this source
- libssreflect-coq: small scale reflection library for Coq (theories)
The name Ssreflect stands for "small scale reflection", a style of
proof that evolved from the computer-checked proof of the Four Colour
Theorem and which leverages the higher-order nature of Coq's
underlying logic to provide effective automation for many small,
clerical proof steps. This is often accomplished by restating
("reflecting") problems in a more concrete form, hence the name. For
example, in the Ssreflect library, arithmetic comparison is not an
abstract predicate, but a function computing a boolean.
.
The Ssreflect distribution comprises two parts:
* A new tactic language, which promotes more structured, concise and
robust proof scripts, and is in fact independent from the "reflection"
proof style. It is implemented as a linkable extension to the Coq
system.
* A comprehensive set of Coq libraries covering topics as combinatorics
and algebra.
.
This package installs the full Ssreflect distribution.
- libssreflect-ocaml: small scale reflection extension for Coq (plugin)
This package is part of Ssreflect, the small scale reflection
extension for Coq. It provides a new tactic language, which promotes
more structured, concise and robust proof scripts, and is in fact
independent from the "reflection" proof style. It is implemented as a
linkable extension to the Coq system.
- libssreflect-ocaml-dbgsym: debug symbols for libssreflect-ocaml
- libssreflect-ocaml-dev: No summary available for libssreflect-ocaml-dev in ubuntu artful.
No description available for libssreflect-
ocaml-dev in ubuntu artful.