A curated list of (sometimes) awesome Rust resources regarding automated or semi-automated formalization efforts in any area, including classical mathematics, constructive mathematics formal algorithms, and program verification.
This book is an attempt to distil the Rust community's collective knowledge of Rust macros, Macros by Example to be precise. As such, both additions (in the form of pull requests) and requests (in the form of issues) are welcome.
Brupst is a Rustaceans open source community organization from Beijing University of Posts and Telecommunications. As you can see, Rust has gradually appeared in the public eye in recent years, and is known for its efficient, safe