Is there a doc generator for Dafny?
Question
Is there a doc generator for Dafny?
Answer
Not one produced by the Dafny team or included in a Dafny release. This 3rd-party tool was reported by users: https://github.com/nhweston/dfydoc.
Is there a doc generator for Dafny?
Not one produced by the Dafny team or included in a Dafny release. This 3rd-party tool was reported by users: https://github.com/nhweston/dfydoc.