GitHub repository: nelhage/coop
Primary language: Coq
Created: 2024-07-30T17:35:02Z
Description: A Coq playground