you are viewing a single comment's thread
view the rest of the comments
[–] 3 points 1 week ago

Interesting! I hadn't heard of Lean or Roc. But I do find theorem provers / dependent types a fascinating area of correct-by-construction methodology

  • source