Isabelle/HOL. AppSec
====================

MOST ENDORSED MEMBERS
---------------------
* Achim D.  Brucker
  https://vutuv.de/achim.d.brucker

--
vutuv agent document · type: tag · schema_version: 2
generated_at: 2026-06-18T23:52:43Z
canonical: https://vutuv.de/tags/isabelle_hol_appsec