Projeto desenvolvido por meio de colaboração entre Juan Monteiro e Anne Caroline para disciplina de Lógica para Computação, na linguagem Python. Consiste em um verificador de provas do método axiomático, com inclusão de verificação de uso correto de hipóteses e teoremas. Contém exemplos de provas para teste.
-
Notifications
You must be signed in to change notification settings - Fork 0
Projeto desenvolvido por meio de colaboração entre Juan Monteiro e Anne Caroline, na linguagem Python. Consiste em um verificador de provas do método axiomático, com inclusão de verificação de uso correto de hipóteses e teoremas.
Carol-Annie/Axiomatization-Verifier
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Projeto desenvolvido por meio de colaboração entre Juan Monteiro e Anne Caroline, na linguagem Python. Consiste em um verificador de provas do método axiomático, com inclusão de verificação de uso correto de hipóteses e teoremas.
Resources
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published