Zinc

Book • 2005

Mentioned by

Mentioned in 0 episodes

Mentioned by Albert Garreta as a framework for building succinct arguments for integer constraints.
Implementing LatticeFold with Matthew and Albert from Nethermind

The AI-powered Podcast Player

Save insights by tapping your headphones, chat with episodes, discover the best highlights - and more!
App store bannerPlay store banner
Get the app