Explore projects

CRDT-based p2p Drawing Application

This is a implementation of first order predicate logic statement evaluator.

Repository containing the implementations and data of the PhD thesis of Davide Cavezza