casa > App > Formazione
NaturalDeduction

NaturalDeduction

Pubblicato da: Jukka Häkkinen
( 1 valutazioni )
licenza: Gratis

Screenshot:

Minimo
Sistema operativo
Architetturax86,x64,ARM,ARM64
Consigliati
Sistema operativo
Architetturax86,x64,ARM,ARM64

Descrizione

Proof generator and proof checker for propositional logic in "natural deduction" style.


Alle altre persone piacciono anche

valutazioni

Articoli

su NaturalDeduction
We use cookies and other technologies on this website to enhance your user experience.
By clicking any link on this page you are giving your consent to our Privacy Policy and Cookies Policy.