Paper-Proof/paperproof
@Paper-ProofInterface de prova de teoremas Lean que se assemelha a provas feitas com papel e caneta.
Estrelas
545
Bifurcações
18
Linguagem
TypeScript
Licença
MIT
Último push
há 13 horas
Intel relacionado (0)
Ainda não há intel relacionado
Este repo ainda não apareceu em nenhuma das fontes que o radar rastreia. O coletor roda em um cronograma — volte quando ele cobrir este repo.