GitHub repository: HartmannPsi/CS2206-HW
Primary language: Coq
Created: 2025-05-15T04:06:49Z
Description: forked from https://github.com/Arcadia-Y/CS2206-spring2025