dune « src - aeneas - aeneas rust verifier with a hacky Isabelle backend

summary refs log tree commit diff

path: root/src/dune

blob: 151b2f7033bb0d180ab058b8cc0fd0f1680af277 (plain)