A library to help do more precise fractional math
published version 1.0.2, 10 years agoTerms and substitutions for equational reasoning.
published version 0.9.0, 2 years ago
A library to help do more precise fractional math
Terms and substitutions for equational reasoning.