diff options
| author | Petri Hienonen <petri.hienonen@gmail.com> | 2026-02-15 19:06:58 +0200 |
|---|---|---|
| committer | Petri Hienonen <petri.hienonen@gmail.com> | 2026-02-15 19:06:58 +0200 |
| commit | 088f82e8fe9e005cd8fb33dc5e9efd2d02780a17 (patch) | |
| tree | 2c40fce3f7f9c2bbacdc0ed31bc0b50e10c97b77 /Kb/Basic.lean | |
| parent | 3e73777427988d1ec31e287d81849e2a02749dc0 (diff) | |
| download | kb-master.tar.zst | |
Diffstat (limited to 'Kb/Basic.lean')
0 files changed, 0 insertions, 0 deletions