This repository was archived by the owner on Apr 15, 2025. It is now read-only.
Issues
Search results
- Status: Open.#21 In jonaprieto/agda-prop;
- Status: Open.#20 In jonaprieto/agda-prop;
- Status: Open.#19 In jonaprieto/agda-prop;