aeneas - aeneas rust verifier with a hacky Isabelle backend

aeneas rust verifier with a hacky Isabelle backend

summary refs log tree commit diff

Mode	Name	Size
-rw-r--r--	.gitignore	293	log plain
-rw-r--r--	README.md	36	log plain

generated by cgit v1.2.3 (git 2.25.1) at 2024-10-18 17:17:26 +0000