- Rust (minimum version 1.88.0, see
rust-versionin Cargo.toml)- Nightly toolchain with rustfmt component (for formatting)
- just (task runner)
- cargo-nextest (for running tests)
- Foundry (for smart contract development)
- Python 3.12+ and uv (for contract development)
- Docker (optional, for containerized builds)
forked from SorellaLabs/angstrom
-
Notifications
You must be signed in to change notification settings - Fork 0
License
Certora/angstrom
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
No description, website, or topics provided.
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Rust 87.9%
- Solidity 11.9%
- Other 0.2%