Skip to content

DigitalFormalLogic/mathesis

Error
Looks like something went wrong!

About

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

digitalformallogic.github.io/mathesis/

Topics

semantics proof logic philosophy first-order-logic propositional-logic prover mathematical-logic formal-logic symbolic-logic philosophical-logic

Resources

Readme

License

MIT license
Activity
Custom properties

Stars

22 stars

Watchers

4 watching

Forks

2 forks
Report repository

Releases

11 tags

Packages

No packages published

Contributors 2

  •  
  •  

Languages