Functional Data Structures and Algorithms. A Proof Assistant Approach - discu.eu

Hacker News

Functional Algorithms, Verified https://functional-algorithms-verified.org 43 comments 15/10/2021

Lobsters

Functional Data Structures and Algorithms. A Proof Assistant Approach https://functional-algorithms-verified.org/ 6 comments 1/9/2023 book , formalmethods , pdf , plt

Linking pages

A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments

Would you like to stay up to date with Computer science? Checkout Computer science Weekly.

Related searches:

Search whole site: site:functional-algorithms-verified.org

Search title: Functional Data Structures and Algorithms. A Proof Assistant Approach

See how to search.

Submit link to: