Formal verification is cool because your tools tell you cool sci-fi phrases like "Temporal induction failed!"

abyssal witch | deranged catgirl hardware/software engineer + vtuber | that crazy SCSI girl
Formal verification is cool because your tools tell you cool sci-fi phrases like "Temporal induction failed!"