List Question
10 TechQA 2015-06-14 14:35:58How to reconstruct with Agda the proof of a theorem produced by one ATP
							167 views
							
								Asked by Juan Ospina
								
							
						
					Haskell make recipe fails for Paradox theorem prover using GHC
							165 views
							
								Asked by Kiteration
								
							
						
					Isabelle: Unsupported recursive occurrence of a datatype via type constructor "Set.set"
							438 views
							
								Asked by Diego Dias
								
							
						
					Replace subexpression in equality proof in Idris
							393 views
							
								Asked by user1747134
								
							
						
					How can I read Coq's definition of proj1_sig?
							880 views
							
								Asked by Dr. John A Zoidberg
								
							
						
					SPASS Theorem Prover - true / false type?
							138 views
							
								Asked by PhantomR
								
							
						
					A theorem prover / proof assistant supporting (multiple) subtyping / subclassing
							441 views
							
								Asked by qartal
								
							
						
					How do I Get OTTER to Generate All Tautologies of a Certain Length?
							146 views
							
								Asked by Doug Spoonwood
								
							
						
					Proving insertion sort algorithm using Isabelle
							463 views
							
								Asked by He_slp13
								
							
						
					Coq - Error when eliminating OR
							435 views
							
								Asked by gonzaw