João Batalha and Luís Batalha are cofounders of Fermat’s Library. Fermat’s Library is a platform for annotating papers.