Skip to content

Add reals.py to handle numerical types for customization #21

Merged
carlos-adir merged 3 commits into
mainfrom
dev/reals
Jul 11, 2025
Merged

Add reals.py to handle numerical types for customization #21
carlos-adir merged 3 commits into
mainfrom
dev/reals

Commits

Commits on Jul 10, 2025