GitHub repository: riccardobrasca/Numbers
Primary language: Lean
Created: 2025-07-02T05:38:21Z
Description: An introduction to numbers