Setoid

#	Item
1	Under consideration for publication in Math. Struct. in Comp. Science Formalization of Real Analysis: A Survey of Proof Assistants and Libraries∗ SYLVIE BOLDO CATHERINE LELAY Add to Reading List Source URL: www.lri.fr Language: English - Date: 2014-12-04 07:10:42 Proof assistants Real numbers Automated theorem proving Elementary mathematics Type theory First-order logic Construction of the real numbers Constructivism Mathematical logic Isabelle Axiom Setoid
2	Logical Methods in Computer Science Vol. 9(1:[removed], pp. 1–27 www.lmcs-online.org Add to Reading List Source URL: arxiv.org Language: English - Date: 2013-02-14 03:06:22 Elementary mathematics Type theory Ring theory Setoid Apartness relation Semiring Monad Equivalence relation Type class Mathematics Abstract algebra Algebraic structures
3	JFP 13 (2): 261–293, March[removed]c 2003 Cambridge University Press Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2006-09-20 06:53:49 Category Partial equivalence relation Morphism Apartness relation Setoid Functor Equivalence relation Cartesian closed category Total order Mathematics Category theory Abstract algebra
4	PDF Document Add to Reading List Source URL: mizar.org Language: English - Date: 2010-03-05 21:10:35 Type theory Mathematical logic QED manifesto Proof theory Mizar system Proof assistant Mathematical proof Constructivism Setoid Mathematics Logic Formal methods