hyperreals-formalization0.1.0
Hyperreal arithmetic with SAT-backed lazy ultrafilters for non-standard analysis and automatic differentiation
1-1 of 1 versions of hyperreals-formalization
Sort by
Date
- 0.1
0.1.0v4.33.0
hyperreals-formalization0.1.00.1.0