A rigorous and consistent foundation for numerical and arithmetic programming

Latest Versions

54 versions โ†’
VersionVulnerabilitiesUsagesDate
0.63.x
0.63.0
16
Jul 07, 2026
0.62.x
0.62.0
14
Jun 29, 2026
0.61.x
0.61.0
14
Jun 16, 2026
0.60.x
0.60.0
14
Jun 16, 2026
0.59.x
0.59.0
14
Jun 12, 2026
0.55.x
0.55.0
16
Feb 12, 2026
0.54.x
0.54.0
16
Feb 07, 2026
0.53.x
0.53.0
16
Jan 22, 2026
0.52.x
0.52.0
16
Jan 18, 2026
0.51.x
0.51.0
16
Jan 15, 2026
54 versions โ†’