main.bib

@book{ff00,
  title     = "Modern Projective Geometry",
  author    = "Faure, C.A. and Frölicher, A.",
  year      = 2000,
  publisher = "Kluwer Academic Publishers",
  address   = "Dordrecht",
  volume    = 521
}

@misc{Avigad_de_Moura_Kong_Ullrich_2014, title={Theorem proving in Lean
  4}, url={https://lean-lang.org/theorem_proving_in_lean4/},
  journal={Theorem Proving in Lean 4}, author={Avigad, Jeremy and de
                                               Moura, Leonardo and Kong,
                                               Soonho and Ullrich,
                                               Sebastian}, year={2014},
                                               month={Oct}}