Varys Forge

AI Safety Fact vs. Fiction | YC Paper Club

Y Combinator

A tool that generates code and formal proofs from English specifications, demonstrating automated formal verification.