GitHub repository: CMU-HoTT/scott
Created: 2022-09-22T10:31:14Z
Description: Selected Papers of Dana S. Scott