GitHub repository: whatbirdisthat/coffeething
Primary language: CoffeeScript
Description: A collection of simple proofs