- Prop v0.40 released with support for function extensionality (using types in Rust to do theorem proving) https://docs.rs/prop/0.40.0/prop/fun/index.html#function-extensionality 4 comments rust
Would you like to stay up to date with Rust? Checkout Rust
Weekly.