aprove-developers / LoAT-purrs

The Parma University's Recurrence Relation Solver with additional patches for LoAT
GNU General Public License v2.0
8 stars 1 forks source link