Artículo 141

Artículo:

Formalizing Affinization of a Projective Plane in Agda

Autor:

Guillermo Calderón

Video de Presentación