Pinned Repositories
proofcert-deskolemize
Deskolemization in the FPC framework
aur-emacs-prefer-dark-theme
PKGBUILD for emacs including a patch to enable request for dark mode in GTK3
coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
coq-elpi
Coq plugin embedding elpi
Crumbling-Abstract-Machines
This repository contains the formalization of part of the theory behind the Crumbling Abstract Machines, that has been introduced and partially developed in Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, and Claudio Sacerdoti Coen. 2019. Crumbling Abstract Machines. In Proceedings of ACM Conference (Conference’17). ACM, New York, NY,USA,39 pages.
elpi
Embeddable Lambda Prolog Interpreter
playground
postcast
Crea dei feed RSS per i podcast de Il Post
why3-elpi
Embeddings of the Why3 API in λProlog
fpc-elpi
manmatteo's Repositories
manmatteo/postcast
Crea dei feed RSS per i podcast de Il Post
manmatteo/aur-emacs-prefer-dark-theme
PKGBUILD for emacs including a patch to enable request for dark mode in GTK3
manmatteo/coq
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs.
manmatteo/coq-elpi
Coq plugin embedding elpi
manmatteo/Crumbling-Abstract-Machines
This repository contains the formalization of part of the theory behind the Crumbling Abstract Machines, that has been introduced and partially developed in Beniamino Accattoli, Andrea Condoluci, Giulio Guerrieri, and Claudio Sacerdoti Coen. 2019. Crumbling Abstract Machines. In Proceedings of ACM Conference (Conference’17). ACM, New York, NY,USA,39 pages.
manmatteo/elpi
Embeddable Lambda Prolog Interpreter
manmatteo/playground
manmatteo/why3-elpi
Embeddings of the Why3 API in λProlog
manmatteo/MagiskOnWSA
Integrate Magisk root and Google Apps (OpenGApps) into WSA (Windows Subsystem for Android)
manmatteo/manmatteo
manmatteo/manmatteo.github.io
manmatteo/raiplaysound
manmatteo/thesis-code
Code relative to the background material of my thesis