Comment by pjmlp

12 hours ago

Kind of, more in line with formal specs used in high integrity computing, instead of classical programming languages.

0 comments