CoLL
From MaRDI portal
Software:25547
Author name not available (Why is that?)
Related Items (4)
CSI: new evidence -- a progress report ⋮ A formally verified solver for homogeneous linear Diophantine equations ⋮ FORT 2.0 ⋮ Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems
This page was built for software: CoLL
