You can prove as much as you want your model, but if the the model is shabby...

		sylware on Sept 20, 2023 \| parent \| context \| favorite \| on: The best model checker is your head You can prove as much as you want your model, but if the the model is shabby...