1. 3
  1.  

  2. 3

    This is the sort of story I’d like to be covered by a broadened testing/debugging tag. It has the same goal of ensuring program correctness but does so by making that integral to the writing rather than attempting to verify it or repair it after writing.

    1. 2

      It might be appropriate to call the tag “formal verification”?

    2. 1

      Are there any significant benefits to choosing this library over Richard Eisenberg’s units library?