Pablo Donato

According to our database¹, Pablo Donato authored at least 4 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

flowers-metatheory.

[BibT_eX]

[DOI]

Dataset, November, 2024

Deep Inference for Graphical Theorem Proving. (Inférence Profonde pour la Démonstration Graphique de Théorèmes).

[BibT_eX]

[DOI]

PhD thesis, 2024

The Flower Calculus.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Formal Structures for Computation and Deduction, 2024

2022

A drag-and-drop proof tactic.

[BibT_eX]

[DOI]

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022