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

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