diff options
| author | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-15 16:18:45 -0500 |
|---|---|---|
| committer | Jacques Comeaux <jacquesrcomeaux@protonmail.com> | 2025-10-15 16:18:45 -0500 |
| commit | 2439066ad6901ed1e083f48fb7ac4fd7a7840d27 (patch) | |
| tree | aabc89bf56739e4eb4972b6f227fdccd358da4d5 /Data/SExp.agda | |
| parent | 21aa7526f51030be9ffd86be2eabd5d07f64b6f4 (diff) | |
Replace proof with new stdlib property
Diffstat (limited to 'Data/SExp.agda')
0 files changed, 0 insertions, 0 deletions