@misc{indiciae86aec6e08828,
  title = {Verified completeness in Henkin-style for intuitionistic propositional logic},
  author = {Huayu Guo and Dongheng Chen and Bruno Bentzen},
  year = {2023},
  url = {https://arxiv.org/abs/2310.01916},
  note = {Source identifier: 2310.01916}
}