Pinned Loading

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

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

   Lean 1.7k 293

2. gapt/gapt gapt/gapt Public

   GAPT: General Architecture for Proof Theory

   Scala 104 19

3. trepplein trepplein Public

   Lean type-checker written in Scala.

   Scala 40 3

4. NixOS/nixpkgs NixOS/nixpkgs Public

   Nix Packages collection & NixOS

   Nix 22.6k 17.4k

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 82 12