Rustacean Station  cover image

High Assurance Rust with Tiemoko Ballo

Rustacean Station

CHAPTER

Logic Proofing in Disciplined Math

The kind of logic that you learn in discreet math is called first orat logic. And this is like, if a implies b, then c. There are some very exciting research tools that i plan to dig into later in the book and cover that let you do something called deductive verification of rustcot. So when we talk abot memory safety and rest that doesn't say anything about the logical correctness of your programe.

00:00
Transcript
Play full episode

Remember Everything You Learn from Podcasts

Save insights instantly, chat with episodes, and build lasting knowledge - all powered by AI.
App store bannerPlay store banner