Return to Article Details
Implementation of Bourbaki's Elements of Mathematics in Coq: Part One, Theory of Sets
Download
Download PDF