Giters
Digital Formal Logic Project (DigitalFormalLogic)

Digital Formal Logic Project

DigitalFormalLogic

Organization data from Github https://github.com/DigitalFormalLogic

Open source collective for computational formal logic, formal semantics, and theorem proving

GitHub:@DigitalFormalLogic

Digital Formal Logic Project's repositories

mathesis

Python library for computational formal logic, formal semantics, and theorem proving

Language:PythonLicense:MITStargazers:27Issues:0Issues:0