Leonardo de Moura (Unofficial)

Unofficial automated RSS/Atom links from the source Leonardo de Moura, covering Recent entries discuss Lean-kernel soundness bugs and verification of Signal/Rust, directly relevant to open-source theorem proving and software security. Original creators are credited at the source; follow original links. Zaps support the independent feed operator, not the source creators.