formal-land/coq-of-rust Issues
Verify swap example
Closed 1[meta] Translate the core crate
Closed 1Prove correct the ERC-1155
Closed 1Prove correct the ERC-721
Closed 1Integrate alloc.v in the CI
Closed 1Write simple simulations
UpdatedUse a stable version of Rust
Closed 2Uniformize warnings
ClosedMaximum line size of 100
ClosedHave automated re-ordering
Closed 4Getters for type aliases
Closed 1Remove core.marker.Sized.Trait
Closed 1Have distinct integer types
Closed 1