This repository contains three CS 3364 projects demonstrating skills in algorithm design and data structures. Projects cover search engine reliability with sorting, course sequencing with topological ...

Given that the dependencies are installed, you can use one of the following make targets to manually build the Rocq files: The default target: builds the theories/ files.; build-icfp25: builds the ...