We’re going to be working with Dafny and Lean. You don’t need to know much about Dafny or Lean in particular to read this. There will be short sections introducing the languages in the appropriate places, which are easy to skip.
We’re going to be working with Dafny and Lean. You don’t need to know much about Dafny or Lean in particular to read this. There will be short sections introducing the languages in the appropriate places, which are easy to skip.