puan-pv 0.1.0

Propositional logic statements with evaluation functionalities implemented
Documentation