FloatLib: Verified Floating-Point Arithmetic in Lean

TorchLean: Formalizing Neural Networks in Lean

LeanDojo: Theorem Proving in Lean Using LLMs