GitHub repository: David-Durst/frail
Primary language: Python
Created: 2020-11-05T16:02:51Z
Description: Create and prove equivalence of affine indexing hardware using recurrence relations encoded in scans