ZtuX/zPAT
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
Este programa funciona correctamente bajo Linux Prueba Automática de Teoremas (PAT) Resuelve la validez de un razonamiento por medio de axiomas (algo que ya no se tiene que demostrar), para deducir que el razonamiento es válido. Escrito por: @_ZtuX_
About
Prueba Automática de Teoremas en Lenguaje C
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published