Coq

Case analysis

Induction

Natural numbers

Arithmetic

Haskell

Polynomial evaluation

Polynomial division

Horner's method

Moessner's sieve

Programming Languages

Interpreters

Compilers

Virtual Machines

Pascal's triangle

Binomial coefficient

Moessner's theorem

Taylor polynomials

Long's theorem

Elm

Elixir

Kotlin

Enum types

Functional programming

Product types

Sum types

Dependency management