brandonrozek


Brandon Rozek

Packages 2

  • A library to help do more precise fractional math

    published 1.0.2 7 years ago
  • Terms and substitutions for equational reasoning.

    published 0.9.0 4 months ago