Risultati della ricerca - Linhares, Alexandre

  • Mostra 1 - 2 risultati su 2
Raffina i risultati
  1. 1
    Copertina

    Deep Vision: A Formal Proof of Wolstenholmes Theorem in Lean 4 Autoría: Linhares, Alexandre

    Pubblicazione 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:
  2. 2
    Copertina

    Yanasse: Finding New Proofs from Deep Vision's Analogies, Part 1 Autoría: Linhares, Alexandre

    Pubblicazione 2026
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Aggiungi alla lista
    Salvato in:

Strumenti per la ricerca: