Popular repositories Loading

1. advent-of-lean-4 advent-of-lean-4 Public

   Advent of Code 2020 solutions in Lean 4

   Lean 26

2. lean-homotopy-theory lean-homotopy-theory Public

   A development of homotopy theory in the Lean formal theorem prover.

   Lean 15 6

3. lean-omin lean-omin Public

   Lean 10

4. orcish-club orcish-club Public

   Bridge bidding system notes and software

   Haskell 6

5. metaphysical-solving metaphysical-solving Public

   Python 5 5

6. partnership-bidding partnership-bidding Public

   Web-based bidding practice for bridge

   Haskell 4