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: Jun 24 2024 at 00:02 UTC