koju. > Rakendused > Haridus
NaturalDeduction

NaturalDeduction

Avaldaja: Jukka Häkkinen
juhiluba.: Tasuta

Kuvatõmmised:

Minimaalne
OS
Arhitektuurx86,x64,ARM,ARM64
Soovitatav
OS
Arhitektuurx86,x64,ARM,ARM64

Kirjeldus

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


Teistele meeldivad

Arvustused

artiklid

umbes 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.