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

New posts in proof

How to prove that the C statement -x, ~x+1, and ~(x-1) yield the same results?

c proof twos-complement

Finding inaccessible points on a 2D plane

javascript jquery graph point proof

How to end this Proof in Coq

coq proof

How do I display a proof tree with HTML,CSS and/or Javascript?

javascript css tree proof

Apply a method if and only if it solves the current goal

proof isabelle

Stable comparison sort with O(n * log(n)) time and O(1) space complexity

algorithm sorting complexity-theory proof

Is there a way to prove a program has no bug?

proof formal-verification proof-of-correctness

General proof of equivalence of two FSMs in finite time?

theory fsm proof state-machine

Big Oh Notation O((log n)^k) = O(log n)?

big-o proof

Proof assistant for mathematics only

proof agda idris proof-of-correctness isar

If two things are not not equal, are they equal?

types proof agda dependent-type

Which vector library to use in coq?

list vector coq proof dependent-type

Proof that a binary tree with n leaves has a height of at least log n

logic binary-tree nodes proof induction

Why is the greedy algorithm optimal?

algorithm greedy proof

Universal Quantification in Isabelle/HOL

proof isabelle

How to solve goals with invalid type equalities in Coq?

types equality proof coq

If Idris thinks things may be total that are not, can Idris be used for proofs?

proof idris totality

Handling let in hypothesis

coq proof dependent-type

How to prove (forall x, P x /\ Q x) -> (forall x, P x)

proof coq
« Newer Entries Older Entries »