Released: Aug 19, 2016
A framework for mathematical logic.
View statistics for this project via Libraries.io, or by using our public dataset on Google BigQuery
License: MIT License (MIT)
Author: Allen Barker
Tags logic, mathematics, proof
Theories in formal mathematical logic.
0.1.0
Aug 19, 2016
Supported by