Stream: Coq users

Topic: Linting coq programs


view this post on Zulip Adrian Cucoș (May 02 2021 at 19:11):

Hi, I was wondering if there exists a way to lint vernac files? Or are there any other ways to enforce some coding standards and prevent anti-patterns?
I have been looking around but I could not find anything of the sort.


Last updated: Oct 03 2023 at 04:02 UTC