Topic: Distributed Systems Integrity and Correctness

This repository comprises work and planning for Holden Rohrer, Holden Watson, and Nithya Jayakumar's Final Project for Applied Combinatorics in the Fall 2019 semester, taught by Galyna Livshyts.

Structure

TeX documents are used to create pdfs and should be compiled with pdftex in their local directories, as provided by your software distributor (e.g. MacTeX or TeX Live). Example:

pdftex main.tex

Note that pdf archives have also been included but may be out of date.