Email Gateway (Aug 22 2022 at 15:34): Email Gateway (Aug 22 2022 at 15:34):From: Joachim Breitner <joachim@cis.upenn.edu>
Hi,
I would leave it to the authors, following the simple guideline “my
submission is a library if I can recommend you to use it without
expecting you to hate me after trying to do it”. In practice, this
means a minimum of documentation, having a consistent set of helper
expected lemmas (say, for a data structure) and not just those that
happened to be required for what I needed.
If it is a library with applications, then the modules that are meant
to be reused ought to be clearly marked.
Greetings,
Joachim
signature.asc
Last updated: Apr 19 2024 at 04:17 UTC