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: Feb 01 2023 at 12:30 UTC