we use formal correctness proofs as both low level module un open-source-silicon.dev #general

we use formal correctness proofs as both low-level...

user

03/03/2021, 10:40 PM

we use formal correctness proofs as both low-level module unit tests, and upwards