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
@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