minlog 4.0.99.20100221-7 source package in Ubuntu
Changelog
minlog (4.0.99.20100221-7) unstable; urgency=medium * QA upload. * debian/rules: Set FORCE_SOURCE_DATE=1 in order for texlive to respect SOURCE_DATE_EPOCH for reproducible timestamps. (Closes: #978746) * debian/control: Set Rules-Requires-Root to "no". * debian/rules: Convert to using "dh". * Switch to debhelper-compat 13. * debian/rules: Add dh_auto_test override to allow failures. * debian/rules: Pass long-hand --exclude option to dh_compress. * debian/rules: Remove custom CFLAGS. * debian/rules: Remove test suite outputs dh_auto_test. * debian/control: Add Vcs headers. * debian/rules: Respect DEB_BUILD_OPTIONS=nocheck. * debian/rules: Disable parallel builds to fix build failure. * debian/control: Update Standards-Version to 4.5.1. -- Vagrant Cascadian <email address hidden> Thu, 31 Dec 2020 15:04:42 -0800
Upload details
- Uploaded by:
- Debian QA Group
- Uploaded to:
- Sid
- Original maintainer:
- Debian QA Group
- Architectures:
- all
- Section:
- math
- Urgency:
- Medium Urgency
Downloads
File | Size | SHA-256 Checksum |
---|---|---|
minlog_4.0.99.20100221-7.dsc | 1.4 KiB | bc755bf17840ba1ac3e1ede0898f29f0fdf20d4f8411abf2475a4dce6829898a |
minlog_4.0.99.20100221.orig.tar.gz | 1.1 MiB | a0dee50fce2956024a4feedc6154d8a5d9714d91cf134bf48e240c17936b7b23 |
minlog_4.0.99.20100221-7.debian.tar.xz | 4.5 KiB | 29602914865f0062232e85984f7da6506690733351dd5254f62cad0e2265decb |
Available diffs
No changes file available.
Binary packages built by this source
- minlog: Proof assistant based on first order natural deduction calculus
intended to reason about computable functionals, using minimal
rather than classical or intuitionistic logic. The main motivation
behind MINLOG is to exploit the proofs-as-programs paradigm for
program development and program verification. Proofs are in fact
treated as first class objects which can be normalized. If a formula
is existential then its proof can be used for reading off an instance
of it, or changed appropriately for program development by proof
transformation. To this end MINLOG is equipped with tools to extract
functional programs directly from proof terms. This also applies to
non-constructive proofs, using a refined A-translation. The system
is supported by automatic proof search and normalization by
evaluation as an efficient term rewriting device.
.
Minlog can be used with ProofGeneral, which allows proofs to be
edited using emacs and xemacs. This requires the proofgeneral-minlog
package to be installed.