Prototype: Aeneas Integration

Prototype of integrating Aeneas with Anodized

Name		Name	Last commit message	Last commit date
Latest commit History 11 Commits
Proofs		Proofs
examples		examples
scripts		scripts
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
LICENSE		LICENSE
Proofs.lean		Proofs.lean
README.md		README.md
aeneas-config.yml		aeneas-config.yml
examples.lean		examples.lean
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain
package-lock.json		package-lock.json
package.json		package.json
rust-toolchain		rust-toolchain
tsconfig.json		tsconfig.json

Provide feedback