Search Results - Fan, Max

  • Showing 1 - 2 results of 2
Refine Results
  1. 1
    Cover Image

    Proof Repair across Quotient Type Equivalences Autoría: Viola, Cosmo, Fan, Max, Ringer, Talia

    Published 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  2. 2
    Cover Image

    Mechanizing Olver's Error Arithmetic Autoría: Fan, Max, Kellison, Ariel E., Pollard, Samuel D.

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:

Search Tools: