MAGGESI, MARCO
MAGGESI, MARCO
Matematica e Informatica 'Ulisse Dini'
A certified proof of the Cartan Fixed Point Theorems
2011 Ciolli, Gianni; Gentili, Graziano; Maggesi, Marco
A formal proof of modal completeness for provability logic
2021 Marco Maggesi; Cosimo Perini Brogi
A formalisation of metric spaces in HOL Light
2015 Marco, Maggesi
A Formalization of Metric Spaces in HOL Light
2018 Marco Maggesi
A Modular Framework for Proof-Search via Formalised Modal Completeness in HOL Light
2026 Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi
A Modular Proof of Semantic Completeness for Normal Systems beyond the Modal Cube, Formalised in HOLMS
2025 Bilotta A.; Maggesi M.; Perini Brogi C.
A symbolic approach to abstract algebra in HOL Light
2015 Marco, Maggesi
Analysing Collective Adaptive Systems by Proving Theorems
2025 Perini Brogi, Cosimo; Maggesi, Marco
Bicategories in univalent foundations
2022 Ahrens, Benedikt; Frumin, Dan; Maggesi, Marco; Veltri, Niccolò; van der Weide, Niels
Bicategories in Univalent Foundations
2019 Benedikt Ahrens, Dan Frumin, Marco maggesi, Niels van der Weide
Blockchain, criptovalute e contratti intelligenti
2023 Marco Maggesi; Gianni Ciolli
Displayed Universal Algebra in UniMath: Basic Definitions and Results
2025 Gianluca Amato; Matteo Calosci; Marco Maggesi; Cosimo Perini Brogi
Extension and tangential CRF conditions in quaternionic analysis
2020 Marco Maggesi, Donato Pertici, Giuseppe Tomassini
Favorire la diffusione di WIMS in Italia
2007 Maggesi, Marco
Formalization of metric spaces in HOL Light
2014 Marco Maggesi
Formalization of Quaternionic Calculus in HOL Light
2014 Marco Maggesi
Formalizing basic quaternionic analysis
2017 Andrea Gabrielli; Marco Maggesi
Growing HOLMS, a HOL Light Library for Modal Systems
2024 Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi, Leonardo Quartini
Growing HOLMS: A Verified Automated Prover for Grzegorczyk Logic in HOL Light (Extended Version)
2026 Antonella Bilotta, Cosimo Perini Brogi, Marco Maggesi
High-level signatures and initial semantics
2018 Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi