The Reasoned Lisperchriskohlhepp.wordpress.com120 pointschriskohlhepp11 years agoBridging Discrete and Continuous Logic in Automated Reasoning Systemshttps://chriskohlhepp.wordpress.com/the-reasoned-lisper/