Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

New posts in proof

Logic Proof of Associative Property for XOR

c boolean-logic discrete-mathematics proof

Using the type system to check length of output vs. input list

haskell types proof dependent-type

Find subset with elements that are furthest apart from eachother

algorithm proof

General proof strategies to show correctness of recursive functions?

algorithm math recurrence proof

How to determine the height of a recursion tree from a recurrence relation?

recursion tree computer-science recurrence proof

Proving correctness of multithread algorithms

algorithm multithreading theory correctness proof

Is there a proof that runST is indeed pure?

haskell semantics proof st-monad

Writing a proof for an algorithm [closed]

algorithm proof proof-of-correctness

I need help proving that if f(n) = O(g(n)) implies 2^(f(n)) = O(2^g(n)))

big-o logarithm proof

Proving associativity of natural number addition using Scala shapeless

scala proof shapeless dependent-type

Is this always true: fmap (foldr f z) . sequenceA = foldr (liftA2 f) (pure z)

haskell proof

How do you prove that a function is unique for its type?

haskell types proof

Are there any Bitwise Operator Laws?

computer-science bitwise-operators boolean-logic proof

Should code be short/concise? [closed]

proof math

Open Type Level Proofs in Haskell/Idris

haskell proof category-theory correctness idris

Proof that Fowler's money allocation algorithm is correct

algorithm currency allocation proof

I can't prove (n - 0) = n with Idris

proof idris

Number of binary search trees over n distinct elements

algorithm math binary-tree binary-search-tree proof

Proof that the halting problem is NP-hard?

theory proof halting-problem np

What is the proof of of (N–1) + (N–2) + (N–3) + ... + 1= N*(N–1)/2 [closed]

formula proof
« Newer Entries Older Entries »