Pinned Loading

1. hott-exercises-lean hott-exercises-lean Public

   Solutions to the exercises in the HoTT book for the lean proof assistant

   Lean 1 1

2. Co-dfns Co-dfns Public

   Forked from Co-dfns/Co-dfns

   High-performance, Reliable, and Parallel APL

   APL 1

3. mathematics_in_lean mathematics_in_lean Public

   Forked from leanprover-community/mathematics_in_lean

   Personal solutions for the Mathematics in Lean tutorial.

   HTML

4. exercism-rust exercism-rust Public

   Solutions to the exercism.io rust exercises

   Rust