search

gelijergensen / MetaLogic

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

Added Logic System for Peano Arithmetic #18

Closed gelijergensen closed 3 years ago

gelijergensen commented 3 years ago

resolves #14