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 29 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 29 MIT 3 1 0 Updated Dec 13, 2025

Top languages

Loading…

Most used topics

Loading…