doc: Clearly spell out what happens on projects that fail to compile - Githubissues

leanprover / doc-gen4

Document Generator for Lean 4

Apache License 2.0

62 stars 41 forks source link

doc: Clearly spell out what happens on projects that fail to compile #164

Closed hargoniX closed 9 months ago