@misc{indiciae5f1b66dc477a,
  title = {Modelling and Verifying Neuronal Archetypes in Rocq},
  author = {Abdorrahim Bahrami and Rébecca Zucchini and Elisabetta De Maria and Amy Felty},
  year = {2026},
  url = {https://arxiv.org/abs/2505.05362},
  note = {Source identifier: 2505.05362}
}