kim@lean:~$ ls posts/ --sort=recent
- > Exact algebraic numbers and number fields in Lean
- > Certified graph isomorphism in Lean
- > Announcing the Palomar Registry
- > Tau Ceti: ten theorems from the first month
- > Certified integer polynomial factorization in Lean
- > Why Lean is faster than Rust
- > Lattice basis reduction using the Hex Lean library
- > Verified linear programming
- > A sum of squares tactic