Minlog
From MaRDI portal
Minlog Q21744
Cited in
(36)- APS-1
- Beluga
- lolliCoP
- The Warshall algorithm and Dickson's lemma: Two examples of realistic program extraction
- Optimized program extraction for induction and coinduction
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017
- \textsc{Prawf}: an interactive proof system for program extraction
- An algorithmic version of Zariski's lemma
- Abella
- Fudgets
- Intuitionistic fixed point logic
- ROSCoq
- Pesca
- Extracting imperative programs from proofs: In-place Quicksort
- Minlog -- a tool for program extraction supporting algebras and coalgebras
- Extracting a DPLL algorithm
- KANREN
- Higman's lemma and its computational content
- On the constructive and computational content of abstract mathematics
- CAL
- Teyjus
- Proofs, programs, processes
- ELPI
- AVL trees
- PRIZ
- A realizability interpretation of Church's simple theory of types
- Limits of real numbers in the binary signed digit representation
- Extracting verified decision procedures: DPLL and resolution
- A proof-theoretic account of primitive recursion and primitive iteration
- Theorema 2.0: computer-assisted natural-style mathematics
- Program extraction applied to monadic parsing
- Program extraction from nested definitions
- Functions-as-constructors Higher-order Unification
- Program extraction in exact real arithmetic
- Types for Proofs and Programs
- The seventeen provers of the world. Foreword by Dana S. Scott..
This page was built for software: Minlog
