--- Day changed Thu Feb 14 2019
08:52 < instagibbs> *cough*
10:00 < adiabat> ?     
10:00 < adiabat> code is at https://github.com/mit-dci/utreexo
10:00 < adiabat> paper is ... in progress