Minlog
From MaRDI portal
Software:21744
No author found.
Related Items (23)
The seventeen provers of the world. Foreword by Dana S. Scott.. ⋮ Limits of real numbers in the binary signed digit representation ⋮ Extracting a DPLL Algorithm ⋮ Extracting Imperative Programs from Proofs: In-place Quicksort ⋮ Program Extraction from Nested Definitions ⋮ Optimized program extraction for induction and coinduction ⋮ A realizability interpretation of Church's simple theory of types ⋮ Intuitionistic fixed point logic ⋮ Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 ⋮ Higman’s Lemma and Its Computational Content ⋮ On the Constructive and Computational Content of Abstract Mathematics ⋮ Proofs, Programs, Processes ⋮ Program extraction in exact real arithmetic ⋮ Extracting verified decision procedures: DPLL and Resolution ⋮ Minlog - A Tool for Program Extraction Supporting Algebras and Coalgebras ⋮ Program extraction applied to monadic parsing ⋮ Types for Proofs and Programs ⋮ Functions-as-constructors Higher-order Unification ⋮ Theorema 2.0: Computer-Assisted Natural-Style Mathematics ⋮ A Proof-Theoretic Account of Primitive Recursion and Primitive Iteration ⋮ The Warshall algorithm and Dickson's lemma: Two examples of realistic program extraction ⋮ \textsc{Prawf}: an interactive proof system for program extraction ⋮ An algorithmic version of Zariski's lemma
This page was built for software: Minlog
