search

gelijergensen / MetaLogic

A general purpose calculator for propositional logic systems
MIT License
0 stars 0 forks source link

Added explanation of the project in the readme #26

Closed gelijergensen closed 3 years ago