diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-06-19 20:11:18 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-06-19 20:11:18 -0500 |
| commit | 02a7c2e196435b6b60a1164ff75a805685d2d151 (patch) | |
| tree | ab0d81cc7b196571acf73762391465d79f1804e8 /Coeq.agda | |
| parent | 9afa2120fb3ccdaba707c511000947960f932aae (diff) | |
Add new hypergraph definitions
Diffstat (limited to 'Coeq.agda')
0 files changed, 0 insertions, 0 deletions