Popularity
2 Stars
Updated Last
1 Year Ago
Started In
December 2015

FirstOrderLogic

Build Status

This package aims to include functions that manipulate mathematical logic.