https://aborges.eu//projects/2018-10-08-Worms-in-Coq/ 2018-10-08T00:00:00+00:00 https://aborges.eu//projects/2020-10-25-Tree-Automata-Theory/ 2020-10-25T00:00:00+00:00 https://aborges.eu//projects/2021-03-27-Coq-Gitlab-templates/ 2021-03-27T00:00:00+00:00 https://aborges.eu//projects/2022-11-15-FormalV/ 2022-11-15T00:00:00+00:00 https://aborges.eu//projects/2023-07-03-Coq-PRs/ 2023-07-03T00:00:00+00:00 https://aborges.eu//projects/2023-07-05-QRC1-in-Coq/ 2023-07-05T00:00:00+00:00 https://aborges.eu//projects/2024-01-28-3-2-5-Can-you-count/ 2024-01-27T00:00:00+00:00 https://aborges.eu//publication/2016-01-01-On-the-herbrandised-interpretation-for-nonstandard-arithmetic 2016-01-01T00:00:00+00:00 https://aborges.eu//publication/2018-01-01-The-Worm-Calculus 2018-01-01T00:00:00+00:00 https://aborges.eu//publication/2019-01-01-The-Second-Order-Traffic-Fine-Temporal-Reasoning-in-European-Transport-Regulations 2019-01-01T00:00:00+00:00 https://aborges.eu//publication/2020-01-01-Quantified-Reflection-Calculus-with-one-modality 2020-01-01T00:00:00+00:00 https://aborges.eu//publication/2021-01-01-To-drive-or-not-to-drive-A-logical-and-computational-analysis-of-European-transport-regulations 2021-01-01T00:00:00+00:00 https://aborges.eu//publication/2022-01-01-Towards-a-Coq-formalization-of-a-quantified-modal-logic 2022-01-01T00:00:00+00:00 https://aborges.eu//publication/2023-01-01-An-Escape-from-Vardanyans-Theorem 2023-01-01T00:00:00+00:00 https://aborges.eu//publication/2023-01-01-Lessons-for-Interactive-Theorem-Proving-Researchers-from-a-Survey-of-Coq-Users 2023-01-01T00:00:00+00:00 https://aborges.eu//publication/2023-01-01-Suitable-logics-provability-temporal-laws-and-formalization 2023-01-01T00:00:00+00:00 https://aborges.eu//publication/2024-01-01-Strictly-Positive-Fragments-of-the-Provability-Logic-of-Heyting-Arithmetic 2024-01-01T00:00:00+00:00 https://aborges.eu//publication/2024-01-01-UTC-Time-Formally-Verified 2024-01-01T00:00:00+00:00 https://aborges.eu//_pages/2022-03-22-Finset-and-finmap/ https://aborges.eu// https://aborges.eu//cv/ https://aborges.eu//projects/ https://aborges.eu//publications/ https://aborges.eu//sitemap/ https://aborges.eu//tags/ https://aborges.eu//talks/ https://aborges.eu//teaching/ https://aborges.eu//terms/ https://aborges.eu//files/CV_AnaBorges_20241118.pdf 2025-01-12T04:14:17+00:00 https://aborges.eu//files/papers/masters-thesis.pdf 2025-01-12T04:14:17+00:00