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

New posts in induction

coq induction with passing in equality

coq induction

What's wrong with this inductive proof that mergesort is O(n)?

algorithm proof induction

Why must coq mutually inductive types have the same parameters?

comparison coq recursive-datastructures game-theory induction

Coq induction start at specific nat

coq induction

Proving the fusion law for unfold

haskell recursion proof induction recursion-schemes

Inductive Specification: Top-down vs Bottom-up vs Rules of Inference?

math recursion logic theory induction

Substitution method for solving recurrences

algorithm substitution recurrence induction

What are inductive predicates?

predicate coq induction

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

coq proof coq-tactic induction

Coq induction on modulo

modulo coq induction

How do you use Induction to connect to a local SQLite database?

ruby-on-rails induction

Generating finite lists of primes in Haskell

haskell sequence primes idioms induction

What is the intuition behind the checkerboard covering recursive algorithm and how does one get better at formulating such an algorithm?

python algorithm recursion functional-programming induction

Induction on evidence for the "less than" relation in coq

coq theorem-proving coq-tactic induction

How do I apply inductive reasoning to `GHC.TypeLits.Nat`?

haskell type-families induction

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

logic binary-tree nodes proof induction

Termination of structural induction

recursion termination agda induction

Structural induction in Haskell

haskell induction

How to use a custom induction principle in Coq?

coq induction coq-tactic

Understanding recursion in Python

python algorithm python-2.7 recurrence induction
Older Entries »