APA (7th ed.) Citation

Fort, F., Nowak, D., & Rusu, V. (2025). Pleasant Imperative Program Proofs with GallinaC.

Chicago Style (17th ed.) Citation

Fort, Frédéric, David Nowak, and Vlad Rusu. Pleasant Imperative Program Proofs with GallinaC. 2025.

MLA (9th ed.) Citation

Fort, Frédéric, et al. Pleasant Imperative Program Proofs with GallinaC. 2025.