<p dir="ltr">Hi all,</p>
<p dir="ltr">The current projects of SIG Math Coding will be up on our repository shortly.<br>
<a href="https://gitlab.com/jasminium.lutris/SIG-MathCoding">https://gitlab.com/jasminium.lutris/SIG-MathCoding</a></p>
<p dir="ltr">Links to semantic reasoning software (in Prolog) mentioned today:<br>
<a href="http://cognition.ouc.ac.cy/cclab/index.php/2012-12-25-07-35-20/star">http://cognition.ouc.ac.cy/cclab/index.php/2012-12-25-07-35-20/star</a><br>
<a href="http://www.mind.ilstu.edu/research/pt/aboutpt.php">http://www.mind.ilstu.edu/research/pt/aboutpt.php</a> </p>
<p dir="ltr">Best,<br>
Jasmine Otto</p>