ETNA: a proof checker based on computable set theory techniques

Alfredo Ferro, Department of Mathematics, University of Catania, Italy

Abstract: