brandonrozek


Brandon Rozek
  • A library to help do more precise fractional math

    published version 1.0.2, 10 years ago
  • Terms and substitutions for equational reasoning.

    published version 0.9.0, 2 years ago