diff options
| author | Andreas Grois <andi@grois.info> | 2024-07-24 14:19:58 +0200 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-07-24 14:19:58 +0200 |
| commit | 32c44690f1895947dd8b5267b5570800cd6cdd0a (patch) | |
| tree | b975c638974b77d3dcf58bdfd39461e1933ec66a /LICENSE | |
| parent | bd4fec25fcfff0f2242edf8028d0ae3095623a80 (diff) | |
Add CompleteTree.contains. Decidable Predicate.
This is a preparation step for additional proofs.
Diffstat (limited to 'LICENSE')
0 files changed, 0 insertions, 0 deletions