Useful examples
Coq
Switch branches/tags
Nothing to show
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
agda/PTrees
coq
README

README

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