diff options
| author | Raito Bezarius | 2024-04-18 14:34:36 +0200 |
|---|---|---|
| committer | Raito Bezarius | 2024-04-18 14:34:36 +0200 |
| commit | 5289b86a5c14ec99311424022a867872173edce4 (patch) | |
| tree | 75da592377a833b2ce7e160019aa34e4ae5b6ffb /Verification/BinarySearchTree.lean | |
| parent | fb9a1e93c2163b170979523f9a0cae90b472a16c (diff) | |
chore: nixify the project
So that I stop doing `nix run` one-offs!
Signed-off-by: Raito Bezarius <masterancpp@gmail.com>
Diffstat (limited to 'Verification/BinarySearchTree.lean')
0 files changed, 0 insertions, 0 deletions