diff options
| author | Raito Bezarius | 2024-04-04 17:31:19 +0200 |
|---|---|---|
| committer | Raito Bezarius | 2024-04-05 18:33:47 +0200 |
| commit | 50be416e22a39eaf59f7edba81b919e1f114a0ae (patch) | |
| tree | 255447dcbbf7d26233b2caa092dc1af9ce188f2b /lakefile.lean | |
| parent | 22a499f5d4d231bef3193405983f9ade6da116db (diff) | |
feat: close the BST proof modulo unbundling
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions