sbclPackages.computable-reals

Name

computable-reals

Version

20231021-git

Maintainers

• Michael Raskin
• Kasper Gałkowski
• Hraban Luyat
• Luke Gorrie
• Daniel Nagy

Defined

Source