Isabelle fork of https://github.com/RaitoBezarius/avl-verification https://stuebinm.eu/git/avl-verification/atom/ROOT?h=main 2024-06-29T20:05:40Z 2024-06-29T20:05:40Z stuebinm 2024-06-29T20:05:40Z urn:sha1:60ec110ebfe85ecbadf2641bdc5315c619766f0e doesn't do much, just proves that the find function won't cause an error. also removes all uses of rust traits, since these are currently broken on the aeneas side.