Cedric
@cedricccc
I’ve started my own research blog 🔍! This first article is about Formal Verification, specifically exploring how to convert programs into "logical formulas" to prove properties about them.
0 reply
0 recast
0 reaction