miniblog.
← Back to all posts
Wilfred Hughes
Dec 19, 2015 at 18:41
Bridging Discrete and Continuous Logic in Automated Reasoning Systems
https://chriskohlhepp.wordpress.com/the-reasoned-lisper/
(has some incredible examples)
The Reasoned Lisper
Bridging Discrete and Continuous Logic in Automated Reasoning Systems In this article we will explore the connection between Functional Programming and reasoning. Functional Programming is often ad…
