Pinned Loading

1. leanprover-community/mathlib3 leanprover-community/mathlib3 Public archive

   Lean 3's obsolete mathematical components library: please use mathlib4

   Lean 1.7k 291

2. gapt/gapt gapt/gapt Public

   GAPT: General Architecture for Proof Theory

   Scala 112 20

3. trepplein trepplein Public

   Lean type-checker written in Scala.

   Scala 42 4

4. NixOS/nixpkgs NixOS/nixpkgs Public

   Nix Packages collection & NixOS

   Nix 26.8k 20.7k

5. dali-usb dali-usb Public

   Firmware for a DALI-USB adapter using an ATtiny45.

   C 13 3

6. hott3 hott3 Public

   HoTT in Lean 3

   Lean 83 12