diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-08-12 23:38:06 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-08-12 23:38:06 -0500 |
| commit | 59833e52879a69ac73360161f42e110d6b45713b (patch) | |
| tree | 22e954fbb6e1648a98297862d77cfb45761712e0 /FinMerge/Properties.agda | |
| parent | 9afa2120fb3ccdaba707c511000947960f932aae (diff) | |
Add lattice of logical circuit values
Diffstat (limited to 'FinMerge/Properties.agda')
0 files changed, 0 insertions, 0 deletions