Formal Verification

Article
Category
Date
Read

The End of the 'Trust Me' Era: Meet Palomar, the Registry for Verified Math

Formal Verification
Aug 19
1 min