Comment Comment by FLT8 Sounds exciting, but also a little scary.I'm imagining a biological variant of eg. Verilog or VHDL, as this seems like the kind of domain where tools that allow for formal verification would be highly desirable. parent FLT8 2 years ago
I'm imagining a biological variant of eg. Verilog or VHDL, as this seems like the kind of domain where tools that allow for formal verification would be highly desirable.