GitHub - ayhon/sha3.rs: Implementation of SHA3 in Rust, verified in Lean with Aeneas. · GitHub

Repository navigation

sha3.rs

Public

About

Implementation of SHA3 in Rust, verified in Lean with Aeneas.

aeneas formal-methods lean4 sha3 software-verification

1 star

1 watching

Report repository

Name		Name	Last commit message	Last commit date
.github/workflows		.github/workflows
lean		lean
src		src
.gitignore		.gitignore
Cargo.toml		Cargo.toml
extract.sh		extract.sh

About

Implementation of SHA3 in Rust, verified in Lean with Aeneas.

aeneas formal-methods lean4 sha3 software-verification

1 star

1 watching

Report repository

Releases

Used by

Contributors

Languages