Adelfa Home
Adelfa Examples
The following examples are distributed with Adelfa.
First Order
Properties of lists
Every natural number is either even or odd
Existence of an identity element for addition
Less than or equal to is monotonic over addition
Map distributes over append
λ-calculi
Subject Reduction for the simply typed λ-calculus
Uniqueness of typing for the simply typed λ-calculus
Logic
Admissibility of cut for a simple intuitionistic sequent calculus
Programming Languages
A solution to problem 1a of the POPLMark challenge