Commit Graph

2 Commits

Author SHA1 Message Date
Adam Shaffer
fb32d44c54 Expand Propositional Logic Stub (#25398)
This is a simple addition to this stub that briefly explains Modus Ponens.
2019-05-11 17:22:10 -04:00
Mrugesh Mohapatra
da0df12ab7 fix(guide): simplify directory structure 2018-10-16 21:32:40 +05:30