Jeremy Siek
Musing about programming languages and computer science.
Wednesday, October 09, 2024
Take-aways from using Deduce in the classroom
›
During two weeks of September 2024 I experimented with using the Deduce proof assistant in an honors undergraduate data structures course at...
Sunday, August 11, 2024
Binary Search Trees, Correctly!
›
This is the seventh blog post in a series about developing correct implementations of basic data structures and algorithms using the Deduce...
Saturday, July 20, 2024
Binary Trees with In-order Iterators (Part 2)
›
This is the sixth blog post in a series about developing correct implementations of basic data structures and algorithms using the Deduce ...
›
Home
View web version