Pinned Loading

1. EasyBMP EasyBMP Public

   One .hpp source file class for easy creation and modification of BMP images.

   C++ 26 4

2. mathlib4 mathlib4 Public

   Forked from leanprover-community/mathlib4

   The math library of Lean 4

   Lean

3. cp-algorithms cp-algorithms Public

   Forked from cp-algorithms/cp-algorithms

   Algorithm and data structure articles for https://cp-algorithms.com (based on http://e-maxx.ru)

   C++

4. lean-matrix-cookbook lean-matrix-cookbook Public

   Forked from eric-wieser/lean-matrix-cookbook

   The matrix cookbook, proved in the Lean theorem prover

   Lean