Pinned Loading

1. autobib/autobib autobib/autobib Public

   A command-line tool for managing bibliographic records

   Rust 8

2. order-p-q order-p-q Public

   Lean formalisation of the classification of the groups of order `p * q` where `p` and `q` are prime numbers.

   Lean 4

3. leanprover-community/mathlib4 leanprover-community/mathlib4 Public

   The math library of Lean 4

   Lean 1.9k 400