@misc{indiciaedbcceb0ab64f,
  title = {Intuitionistic Propositional Logic in Lean},
  author = {Dafina Trufaş},
  year = {2024},
  doi = {10.4204/eptcs.410.9},
  url = {https://arxiv.org/abs/2410.23765},
  note = {Source identifier: 2410.23765}
}