README.md

Directories
===========

* `/timeline`: Goals and results for each week.

* `/ulo`: Playing around w/ the results of the ULO paper [1, 2]

References
==========

[1] https://kwarc.info/people/mkohlhase/papers/cicm19-ulo.pdf

[2] https://gl.mathhub.info/ulo/ulo/blob/master/ulo.owl