Suchergebnisse - Tang, Xichen

  • Treffer 1 - 2 von 2
Treffer weiter einschränken
  1. 1
    Buchumschlag

    Mathematical Formalized Problem Solving and Theorem Proving in Different Fields in Lean 4 Autoría: Tang, Xichen

    Veröffentlicht 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:
  2. 2
    Buchumschlag

    A Comprehensive Survey of the Lean 4 Theorem Prover: Architecture, Applications, and Advances Autoría: Tang, Xichen

    Veröffentlicht 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Zu den Favoriten
    Gespeichert in:

Suchwerkzeuge: