To cite package ‘Pinference’ in publications use:

  Porta Mana P (2025). _Pinference: Probability Inference for
  Propositional Logic_. R package version 0.2.6,
  <https://github.com/pglpm/pinference>.

A BibTeX entry for LaTeX users is

  @Manual{,
    title = {Pinference: Probability Inference for Propositional Logic},
    author = {PierGianLuca {Porta Mana}},
    year = {2025},
    note = {R package version 0.2.6},
    url = {https://github.com/pglpm/pinference},
  }