- Prop v0.21 released! Experimental support for homotopy levels (propositional theorem proving in Rust) https://twitter.com/PistonDeveloper/status/1496128124509167620 6 comments rust
Would you like to stay up to date with Rust? Checkout Rust
Weekly.
Related searches:
Search whole site: site:twitter.com
Search title: Tweet / Twitter
See how to search.