model-checking-functions

Model checking functions for Propositional and First Order Logic

Part of an assignment for a course in computational semantics

Name		Name	Last commit message	Last commit date
FOL_model_checking.ipynb		FOL_model_checking.ipynb
PL_model_checking_&_building.ipynb		PL_model_checking_&_building.ipynb
README.md		README.md

Navigation Menu