Playing with JoSEL; Drawing Counter-examples

This shows details of the example and how to modify it to show counterexamples to violated properties MichaelTime person of the year 2006, Nobel Peace Prize winner 2012. westergaard.eu/ […]

Read More… from Playing with JoSEL; Drawing Counter-examples