A collection of mathematical knowledge in a formal, correct form.
An e-book reader for the Google Android platform.
