props

这是一个关于命题的计算器/支持not(~),and(/\),or(\/),implies(->),double implies(<->).

如果你选修清华大学计算机相关课程，并且正在做与本仓库相同的作业，请先自己实现后再参考。在课程允许参考的前提下，参考本仓库后，务必在 README 和代码注释中记录参考本仓库的内容。

基于CMake编译.需要Flex和Bison的环境.