Metadata-Version: 2.1
Name: anita
Version: 0.1.1
Summary: UNKNOWN
Home-page: https://github.com/daviromero/anita
Author: Davi Romero de Vasconcelos
Author-email: daviromero@ufc.br
License: MIT
Keywords: Analytic Tableaux,Teaching Logic,Educational Software
Platform: UNKNOWN

UNKNOWN

