MINLOG
id:
minlog-271-5102159
title:
MINLOG
text:
MINLOG is a proof assistant developed at the University of Munich by the team of Helmut Schwichtenberg. MINLOG is based on first order natural deduction calculus. It is intended to reason about computable functionals, using minimal rather than classical or intuitionistic logic. The primary 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 formu
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/MINLOG
date created:
date modified:
2021-01-30T15:19:26Z
main entity:
{"identifier":"Q6716163","url":"https://www.wikidata.org/entity/Q6716163"}
image:
fields total:
13
integrity:
13