avl-verification - Isabelle fork of https://github.com/RaitoBezarius/avl-verification

index : avl-verification

Isabelle fork of https://github.com/RaitoBezarius/avl-verification

summary refs log tree commit diff

Branch	Commit message	Author	Age
main	some isabelle/hol verification	stuebinm	18 months

generated by cgit v1.2.3 (git 2.25.1) at 2025-12-14 09:04:16 +0000