@misc{indiciae9e76c7f5e045,
  title = {count-catcher: Lean Theorems from Model Counting Certificates},
  author = {Johannes K. Fichte and Stefan Szeider},
  year = {2026},
  url = {https://arxiv.org/abs/2610.36196},
  note = {Source identifier: 2610.36196}
}