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 can I use rules suggested by solve_direct? (by (rule …) doesn't always work)

solver proof isabelle theorem-proving

Understanding COQ proof on Show Proof.

coq proof

How to prove the principle of explosion (ex falso sequitur quodlibet) in Scala?

scala proof type-level-computation curry-howard

Explain why x == ~(~x + 1) + 1 (two's complement and back!)

binary proof twos-complement

how to prove Theorem 3.5.4 in 《Types and Programming Languages》using Coq?

coq proof

Coq simpl / unfold only once. (Replace part of goal with the result of one iteration of a function.)

coq proof coq-tactic induction

Why it is not possible to redefine (implement) foldr in terms of foldl

haskell fold proof

Coq rewriting using lambda arguments

coq 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
« Newer Entries Older Entries »