avl-verification/lean-toolchain, branch main

avl-verification/lean-toolchain, branch main Isabelle fork of https://github.com/RaitoBezarius/avl-verification feat: upgrade to lean v4.7 2024-04-12T18:05:13+00:00 Raito Bezarius 2024-04-12T18:05:13+00:00 4af0e431f4201e20308a8f7472bf7262e2f7b1a2 Signed-off-by: Raito Bezarius <masterancpp@gmail.com>

Signed-off-by: Raito Bezarius <masterancpp@gmail.com>

Initial extraction 2024-03-25T20:09:26+00:00 Raito Bezarius 2024-03-25T20:09:26+00:00 014fc51d291188afd405c33a8281fbb5013ad304 Signed-off-by: Raito Bezarius <masterancpp@gmail.com>

Signed-off-by: Raito Bezarius <masterancpp@gmail.com>