La increible máquina de las demostraciones

Se trata de una herramienta para realizar demostraciones en varias lógicas (por ejemplo, la lógica proposicional, la lógica predicada) de forma visual: Simplemente se añaden bloques que representan los distintos pasos de las demostraciones, se conectan correctamente, y si la conclusión se vuelve verde, ¡entonces se ha creado una demostración completa! Simplemente arrastra y suelta para conectar dos puntos; para algunos ejemplos de demostraciones completas, vea este documento (link).