Package: minlog (4.0.99.20100221-7)
Links for minlog
Debian Resources:
Download Source Package minlog:
- [minlog_4.0.99.20100221-7.dsc]
- [minlog_4.0.99.20100221.orig.tar.gz]
- [minlog_4.0.99.20100221-7.debian.tar.xz]
Maintainer:
External Resources:
- Homepage [www.minlog-system.de]
Similar packages:
Bevisassistent baseret på første ordens naturlige deduktionskalkulus
Denne pakke er beregnet til at ræsonnere om beregnelige funktionaliteter ved at bruge minimal snarere end klassisk eller intuitionistisk logik. Hovedmotivationen bag MINLOG er at udnytte proofs-as-programs-paradigmet til programudvikling og programverifikation. Beviser bliver faktisk behandlet som førsteklassesobjekter, der kan normaliseres. Hvis en formel er eksistentiel, så kan dens bevis bruges til at aflæse en instans af det, eller ændret passende til programudvikling ved bevistransformation. Til dette formål er MINLOG udstyret med værktøjer til at udtrække funktionelle programmer direkte fra prøveudtryk. Dette gælder også for ikke-konstruktive beviser, ved hjælp af en raffineret A-oversættelse. Systemet understøttes af automatisk korrektursøgning og normalisering af evaluering som en effektiv anordning til omskrivning af termer.
Minlog kan bruges sammen med ProofGeneral, som tillader beviser redigeret ved hjælp af emacs og xemacs. Dette kræver at pakken proofgeneral-minlogakke installeres.
Other Packages Related to minlog
|
|
|
|
-
- rec: emacs25
- Package not available
- or emacs24
- Package not available
- or emacsen
- virtual package provided by emacs-gtk, emacs-lucid, emacs-nox, emacs-pgtk
-
- sug: proofgeneral-minlog
- Package not available
-
- sug: quack-el
- Package not available
Download minlog
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 2,567.2 kB | 7,555.0 kB | [list of files] |