I am trying to get better at learning how to write good Ltac, proof engineering, automation, etc. i have some fairly routine things i'm working on that i expect to be highly automatable, is it considered a good use of this forum to post block quotes of code and ask for general feedback on how it could be written or rewritten or automated or made more maintainable etc.
or just code review
for small chunks of code (think 5-20 lines), you might get some feedback here. For larger chunks of code, we generally recommend using the Discourse forum: https://coq.discourse.group
Last updated: Jan 28 2023 at 05:02 UTC