Stream: math-comp users

Topic: code conventions


view this post on Zulip Karl Palmskog (May 08 2020 at 11:40):

Crossposting some recent work of ours that on learning and suggesting code conventions on spacing and naming in Coq, which was evaluated on a MathComp corpus: (1) proposal to handle Coq code formatting (submitted to Coq Workshop: http://cozy.ece.utexas.edu/~palmskog/coqws20draft.pdf), (2) models+eval for lemma naming in MathComp (accepted to IJCAR, extended version: https://arxiv.org/abs/2004.07761) -- currently working on public release of the toolchain

view this post on Zulip Karl Palmskog (May 08 2020 at 11:42):

@Christian Doczkal this is where we used RegLang (both as running example in the IJCAR paper and as part of the extended corpus)


Last updated: Jan 29 2023 at 19:02 UTC