GitHub repository: FranckS/RingIdris
Primary language: Idris
Description: Ring solver for Idris