Question
Is Dafny available as a library, to be called from other software?
Answer
Yes, it is. The DafnyPipeline library on NuGet is the most likely candidate for inclusion in a third-party program.
Is Dafny available as a library, to be called from other software?
Yes, it is. The DafnyPipeline library on NuGet is the most likely candidate for inclusion in a third-party program.