To cite package ‘PsiUEngineRL’ in publications use:

  Lombardi R (2026). _PsiUEngineRL: Homotopy Type Theory Engine for
  Reinforcement Learning_. R package version 0.1.3,
  <https://CRAN.R-project.org/package=PsiUEngineRL>.

A BibTeX entry for LaTeX users is

  @Manual{,
    title = {PsiUEngineRL: Homotopy Type Theory Engine for Reinforcement Learning},
    author = {Roberto Lombardi},
    year = {2026},
    note = {R package version 0.1.3},
    url = {https://CRAN.R-project.org/package=PsiUEngineRL},
  }