OpenDPTranslation

Translating Rust code from the OpenDP library to be formally verified in Lean 4.

Name		Name	Last commit message	Last commit date
Latest commit History 9 Commits
.lake/build		.lake/build
OpenDPTranslation		OpenDPTranslation
SampCert-main		SampCert-main
.DS_Store		.DS_Store
Main.lean		Main.lean
OpenDPTranslation.lean		OpenDPTranslation.lean
README.md		README.md
SampCert-main.zip		SampCert-main.zip
combined.lean		combined.lean
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain
make_row_by_row_fallible_new.lean		make_row_by_row_fallible_new.lean

Provide feedback