proof

55 Questions
Newest Active Unanswered Frequent
Score
View
Card Compact
how to run mizar on mac
user_63433130
•
4
2
183
mizar proof config macos build
How to prove integer division inequality in Coq
user_31046210
•
5
1
226
coq proof
How to use obtain to make forward elimination proofs easier to read?
user_16178370
•
3
1
68
isar isabelle proof
How to prove the principle of explosion (ex falso sequitur quodlibet) in Scala?
user_45279340
•
5
2
430
type-level-computation curry-howard proof scala
Proof of associativity law for type-level set
user_49149030
•
3
0
191
type-level-computation proof associativity set haskell
Which First Order theorem provers are guaranteed to halt on monadic inputs?
user_7883370
•
9
0
117
theorem-proving smt first-order-logic formal-verification proof
Keeping track of "state" when writing equality proofs that are long chains of transitively linked steps
user_4774760
•
3
1
107
equational-reasoning idris agda proof
How can I have Idris automatically prove that two values are not equal?
user_63692760
•
8
1
637
idris proof
Proving the fusion law for unfold
user_4743110
•
5
2
209
recursion-schemes induction proof recursion haskell
Proving the Functor laws for free monads; am I doing it right?
user_10944030
•
9
1
657
free-monad proof monads haskell
Hot Questions