blog
kim@lean:~$ ls posts/ --sort=recent
-
2026·07·24 · [performance] · [lean]
> Why Lean is faster than Rust
-
2026·07·07 · [computer algebra] · [lean]
> Lattice basis reduction using the Hex Lean library
-
2026·06·14 · [tactics] · [lean]
> Verified linear programming
-
2026·05·13 · [tactics] · [lean]
> A sum of squares tactic