[12] [ arXiv:2607.28459 ](https://arxiv.org/abs/2607.28459 "Abstract") [[pdf](https://arxiv.org/pdf/2607.28459 "Download PDF"), [html](https://arxiv.org/html/2607.28459v1 "View HTML"), [other](https:/

Abstract

[12] [ arXiv:2607.28459 ](https://arxiv.org/abs/2607.28459 "Abstract") [[pdf](https://arxiv.org/pdf/2607.28459 "Download PDF"), [html](https://arxiv.org/html/2607.28459v1 "View HTML"), [other](https://arxiv.org/format/2607.28459 "Other formats")] Title: LeanCSP: A Framework for Certifying Constraint Reformulation and Solving in Lean [Pablo Manrique](https://arxiv.org/search/cs?searchtype=author&query=Manrique,+P), [Stefan Szeider](https://arxiv.org/search/cs?searchtype=author&query=Szeide