ssreflect 1.5-3build1 source package in Ubuntu
Changelog
ssreflect (1.5-3build1) xenial; urgency=medium * No-change rebuild against ocaml 4.02. -- Łukasz 'sil2100' Zemczak <email address hidden> Wed, 04 Nov 2015 21:47:11 -0600
Upload details
- Uploaded by:
- Łukasz Zemczak
- Uploaded to:
- Xenial
- Original maintainer:
- Debian OCaml Maintainers
- Architectures:
- any all
- Section:
- math
- Urgency:
- Medium Urgency
See full publishing history Publishing
Series | Published | Component | Section | |
---|---|---|---|---|
Xenial | release | universe | math |
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
ssreflect_1.5.orig.tar.gz | 212.7 KiB | bad978693d1bfd0a89586a34678bcc244e3b7efba6431e0f83d8e1ae8f82a142 |
ssreflect_1.5-3build1.debian.tar.xz | 11.3 KiB | 6652eae4038ad15572ad82b5ae15646f3f40faf477e92f0ffecbecb8d510bd85 |
ssreflect_1.5-3build1.dsc | 1.9 KiB | 65449422a15af57a2c736a515795cecedce37177136f647f48cad6a51a8a7e26 |
Available diffs
- diff from 1.5-2 (in Debian) to 1.5-3build1 (391 bytes)
- diff from 1.5-3 (in Debian) to 1.5-3build1 (328 bytes)
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 set of Coq libraries that provide core "reflection-oriented"
theories for basic combinatorics (roughly: arithmetic, lists, and
finite sets).
.
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-dev: No summary available for libssreflect-ocaml-dev in ubuntu yakkety.
No description available for libssreflect-
ocaml-dev in ubuntu yakkety.