ProofProver (1)

Review del ProofProver (un proof asistant que empecé a escribir durante el 2024).
(La lista completa de videos en • ProofProver (Un proof ... )
Un resumen de los vídeos:
1. Describo un poco todo por encima y con garabatos.
2-3 Escribimos axiomas y definiciones de teoría de conjuntos a modo ejemplificador
4-5 (lo más interesante) una demo sencillita usando esos axiomas.
Escribís tus axiomas y un "entorno" con el objetivo que querés probar. El entorno te ayuda en la demostración y cuando terminás genera la prueba correcta. Esta prueba depende de los axiomas que vos usaste más (quizá) 3 axiomas de lógica proposicional y 4 axiomas de lógica de primer orden