Proprietário · Paper-Proof
Paper-Proof
Repositórios de código aberto acompanhados de Paper-Proof, ordenados por estrelas.
1 repositório
- #1
Interface de prova de teoremas Lean que se assemelha a provas feitas com papel e caneta.
★ 545+3Variação de estrelas nos últimos 7 dias
