Skip to content

Latest commit

 

History

History
46 lines (37 loc) · 1.58 KB

CITATION.md

File metadata and controls

46 lines (37 loc) · 1.58 KB

Citing Proving Search Agent

You can cite Proving Search Agent using the following BibTeX entry:

@misc{leaven,
  author       = {Huajian Xin},
  title        = {LEAVEN: Bridging Python and Lean Verification through Interactive Interfaces and Code Editor Integration},
  year         = {2023},
  publisher    = {GitHub},
  journal      = {GitHub repository},
  howpublished = {\url{https://github.com/xinhjBrant/leaven}},
}

The Proving Search Agent project is actively maintained and updated. In the interest of reproducibility, you may want to manage your code's dependency on Proving Search Agent using the requirements.txt file. This will help ensure others can retrieve the right version of Proving Search Agent for your project.

Citing Lean

If you use Lean in your research, you can cite it using the following BibTeX entry:

@inproceedings{de2015lean,
  title        = {Lean theorem proving assistant},
  author       = {De Moura, Leonardo and Kong, Soonho and Avigad, Jeremy and van Doorn, Floris and von Raumer, Jakob},
  booktitle    = {International Conference on Interactive Theorem Proving},
  pages        = {378--395},
  year         = {2015},
  organization = {Springer}
}

Citing Mathlib

If you use Mathlib in your research, you can cite it using the following BibTeX entry:

@misc{mathlib,
  author       = {The mathlib Community},
  title        = {Mathlib: The Lean Mathematical Library},
  year         = {2021},
  publisher    = {GitHub},
  journal      = {GitHub repository},
  howpublished = {\url{https://github.com/leanprover-community/mathlib}},
}