Lobsters: CSLib: The Lean Computer Science Library