diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-07-18 17:45:53 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-07-18 17:45:53 -0500 |
| commit | d91f74bce9a8eb1dd38f74de5fae597bde54df5a (patch) | |
| tree | a334149c6434dbce0b89097e26dfc929ffdef2c6 /Coeq.agda | |
| parent | 2184a8f47f72a415e3387a9aaca042dd63c80fd9 (diff) | |
Add Hypergraph setoid
Diffstat (limited to 'Coeq.agda')
0 files changed, 0 insertions, 0 deletions