Popular repositories Loading

1. HTPILeanPackage HTPILeanPackage Public

   Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"

   Lean 35 25

2. HTPIwL HTPIwL Public

   Book about using Lean with How To Prove It

   JavaScript 25 5

3. STG4 STG4 Public

   Set Theory Game

   Lean 22 10

4. pd pd Public

   JavaScript 6