Popular repositories Loading

1. measure-exos measure-exos Public

   Some exercises for a small group of people learning measure theory

   TeX 10 1

2. topoi-exos topoi-exos Public

   Exercises from "Topoi, a categorial analysis of logic" from Robert Goldblatt

   TeX 1

3. topo-exos topo-exos Public

   Some exercises for a small group of people learning topology

   TeX

4. cpdt-exos cpdt-exos Public

   Some exercises from a self-study of programming with dependent types

   Coq

5. ValiantAgda ValiantAgda Public

   Forked from DSLsofMath/ValiantAgda

   Certified Context-Free Parsing: A formalisation of Valiant's Algorithm in Agda

   Agda

6. plfa plfa Public

   Programming Language Foundations in Agda (Exercises)

   Agda