Cover Image

Formalizing Computational Paths and Fundamental Groups in Lean

Fuente: arXiv
Saved in:
Bibliographic Details
Main Authors: Ramos, Arthur F., de Oliveira, Anjolina G., de Queiroz, Ruy J. G. B., de Veras, Tiago M. L.
Format: Preprint
Published: 2025
Subjects:
Logic in Computer Science
Formal Languages and Automata Theory
03B35, 55Q05, 68T01
F.4.1; I.2.3
Online Access:
Acceder al recurso
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Description not available.

Similar Items