Pinned Loading

1. mozilla/sccache mozilla/sccache Public

   Sccache is a ccache-like tool. It is used as a compiler wrapper and avoids compilation when possible. Sccache has the capability to utilize caching in remote storage environments, including various…

   Rust 7.4k 694

2. avigad/qpf avigad/qpf Public

   Datatypes as quotients of polynomial functors

   Lean 41 7

3. unitb/separation-logic unitb/separation-logic Public

   Lean 8 1

4. unitb/unitb-semantics unitb/unitb-semantics Public

   Proof of soundness of the Unit-B refinement calculus

   Lean 3 1

5. unitb/temporal-logic unitb/temporal-logic Public

   Lean 10 3

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

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

   Lean 1.7k 290