GitHub repository: JacquesCarette/SqrtPi
Primary language: Agda
Description: Agda code accompanying the SqrtPi paper