Popularity
0 Stars
Updated Last
5 Years Ago
Started In
December 2015

FirstOrderLogic

Build Status

This package aims to include functions that manipulate mathematical logic.