A literary proof assistant built on the affine calculus of inductive constraints - View it on GitHub