MINLOG
MINLOG is a proof assistant developed at LMU Munich by the team of Helmut Schwichtenberg. MINLOG is based on first order natural deduction calculus.
MINLOG is a proof assistant developed at LMU Munich by the team of Helmut Schwichtenberg. MINLOG is based on first order natural deduction calculus.
MINLOG is a proof assistant developed at LMU Munich by the team of Helmut Schwichtenberg. MINLOG is based on first order natural deduction calculus.
Source: Wikipedia "MINLOG" · CC BY-SA 4.0
Share this article: X · Bluesky