GitHub repository: semorrison/library_dev
Description: Lean standard library (development)