Find file
Fetching contributors…
Cannot retrieve contributors at this time
11 lines (8 sloc) 303 Bytes
Various examples in different programming languages.
agda :
PTrees - Facts about perfect binary trees.
coq :
monads - Formalization of facts about monads
fib_stram - Coinductively defined fib. stream
infinite_lists - Coinductively defined lists
mis_examples - Some novice examples