Datasets
- 2 results
Search results
-
Computing normalisers of highly intransitive groups (thesis data)
Chang, M. S. (Creator), Jefferson, C. A. (Supervisor) & Roney-Dougal, C. M. (Supervisor), University of St Andrews, 21 Apr 2021
DOI: 10.17630/710dfd8d-356b-4080-b2ad-c6791b7c21fe
Dataset: Thesis dataset
File -
Structural refactorings for exploring dependently typed programming (code)
Barwell, A. D. (Creator), Brown, C. M. (Creator), Chang, M. S. (Creator) & Theocharis, K. (Creator), GitHub, 2025
https://github.com/kontheocharis/fluid
Dataset: Software