@misc{indiciae16c5e1f89eb3,
  title = {Logipedia: a multi-system encyclopedia of formal proofs},
  author = {Gilles Dowek and François Thiré},
  year = {2023},
  url = {https://arxiv.org/abs/2305.00064},
  note = {Source identifier: 2305.00064}
}