Name: NaturalDeduction: descarga e instalación gratuitas en Windows | Microsoft Store
Author: Jukka Häkkinen

Jukka Häkkinen

Educación

Gratis

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

3/12/2022 7:29:58 PM