Auto formalization of the CLRS text book - View it on GitHub