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

Name		Name	Last commit message	Last commit date
Latest commit History 162 Commits
.github/workflows		.github/workflows
lean		lean
src		src
.gitignore		.gitignore
Cargo.lock		Cargo.lock
Cargo.toml		Cargo.toml
extract.sh		extract.sh
rust-toolchain		rust-toolchain

About

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

Custom properties

Report repository

Releases

No releases published

Packages

Contributors

Languages

Rust 53.2%
Lean 46.6%
Shell 0.2%