Skip to main navigation
Skip to search
Skip to main content
University of St Andrews Research Portal Home
Help & FAQ
Link opens in a new tab
Search content at University of St Andrews Research Portal
Home
Profiles
Research output
Datasets
Research units
Equipment
Projects
Activities
Impacts
Prizes
Press/Media
Student theses
RingIdris - Ring solver for Idris
Franck Slama
(Creator)
Edwin Brady
(Supervisor)
School of Computer Science
Dataset
Overview
Date made available
10 Oct 2018
Publisher
GitHub
Contact
[email protected]
Access Dataset
https://github.com/FranckS/RingIdris
Related PhD thesis
Cite this