Paper-Proof/paperproof
@Paper-ProofInterfaz de demostración de teoremas liviana que se siente como demostraciones en lápiz y papel.
Estrellas
545
Bifurcaciones
18
Lenguaje
TypeScript
Licencia
MIT
Último push
hace 1 día
Intel relacionado (0)
Aún no hay intel relacionado
Este repo no ha aparecido en ninguna de las fuentes que rastrea el radar. El recopilador funciona con un horario — vuelve cuando lo haya cubierto.