GitHub repository: KosmicCO/Prop-Logic-Lib
Description: A library for writing and verifying game laws