Modeling and Verifying Dynamic Properties of Biological Neural
Networks in Coq,
by Abdorrahim Bahrami, Elisabetta De Maria, and Amy Felty.
In Proceedings of the 9th International Conference on Computational
Systems-Biology and Bioinformatics (CSBio 2018),
Formal Proofs in Coq
- Neuron.v (The code has been tested in Coq Versions 8.7.0 and 8.8.1.)