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

New posts in 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

Proof by Induction of Pseudo Code

algorithm proof induction

Can I tell Coq to do induction from n to n+2?

coq induction

What is the relationship between recursion and proof by induction?

recursion type-theory induction

What are sized types in Agda?

types agda type-systems induction totality

How do I convert an inductive type into a coinductive type efficiently (without recursion)?

haskell recursion functional-programming induction coinduction

Showing two different fibonacci functions are equivalent

haskell functional-programming fibonacci correctness induction

Are Lists Inductive or Coinductive in Haskell?

haskell infinite idris induction coinduction
« Newer Entries