1. _tactics
  2. Dependently Typed Lambda Calculus

Overview

There isn't a README yet

A README file tells people where to start and how to contribute.