Popular repositories Loading

1. lean4 lean4 Public

   Forked from leanprover/lean4

   Lean4 work in progress repo

   C

2. thinking-with-types thinking-with-types Public

   Forked from isovector/thinking-with-types

   📖 source material for Thinking with Types

   TeX

3. pelomon pelomon Public

   Forked from ihaque/pelomon

   Source code for the PeloMon Bluetooth LE sensor relay and for decoding Peloton communications

   C++