axiomatic checker 源码

公理检查器 托皮科斯 Sobre o公理检查器 UFC的公证检查员可以证明自己的,而在UFC-Russas的Proposo Comoi um trabalho na disciplina的所有证明都适用。 技术 技术进步与进步: 安装和使用 # Faça download de todos os arquivos. # Instale um aplicativo que simule um servidor web em sua máquina (XAMPP, WampServer..) # Coloque os arquivos no diretório proposto pelo aplicativo instalado. # Acesse o aplicativo através do localhost. Feito com :purple_heart:通过