avl-verification/document, branch main Isabelle fork of https://github.com/RaitoBezarius/avl-verification some isabelle/hol verification 2024-06-29T20:05:40+00:00 stuebinm 2024-06-29T20:05:40+00:00 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. 
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.