Skip to content
@DigitalFormalLogic

Digital Formal Logic Project

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

Popular repositories Loading

  1. mathesis mathesis Public

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

    Python 31 3

Repositories

Showing 1 of 1 repositories
  • mathesis Public

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

    DigitalFormalLogic/mathesis’s past year of commit activity
    Python 31 MIT 3 1 0 Updated Dec 13, 2025

Top languages

Python

Most used topics

Loading…