1. Ana de Almeida Borges . 2022 . Towards a Coq formalization of a quantified modal logic . In Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022 ), Christoph Benzmüller and Jens Otten (Eds.). CEUR, Haifa, Israel, 13–27. https://ceur-ws.org/Vol-3326/ARQNL 2022_paper1.pdf Ana de Almeida Borges. 2022. Towards a Coq formalization of a quantified modal logic. In Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022), Christoph Benzmüller and Jens Otten (Eds.). CEUR, Haifa, Israel, 13–27. https://ceur-ws.org/Vol-3326/ARQNL2022_paper1.pdf
2. The FormalV Library
3. To drive or not to drive: A logical and computational analysis of European transport regulations
4. Ana de Almeida Borges Guillaume Melquiond and Pierre Roux. 2021. Signed primitive integers. https://github.com/coq/coq/pull/13559 Ana de Almeida Borges Guillaume Melquiond and Pierre Roux. 2021. Signed primitive integers. https://github.com/coq/coq/pull/13559
5. Android. 2022. Date Class. Android Reference Manual. https://developer.android.com/reference/java/util/Date Android. 2022. Date Class. Android Reference Manual. https://developer.android.com/reference/java/util/Date