In his 1919 paper (Ramanujan, 1919), he gave proof for the first two congruences using the following identities (using q-Pochhammer symbol notation):
then stated that "It appears there are no equally simple properties for any moduli involving primes other than these".
After Ramanujan died in 1920, G. H. Hardy, extracted proofs of all three congruences from an unpublished manuscript of Ramanujan on p(n) (Ramanujan, 1921). The proof in this manuscript employs Eisenstein series.
In 1944, Freeman Dyson defined the rank function and conjectured the existence of a crank function for partitions that would provide a combinatorial proof of Ramanujan's congruences modulo 11. Forty years later, George Andrews and Frank Garvan successfully found such a function, and proved the celebrated result that the crank simultaneously “explains” the three Ramanujan congruences modulo 5, 7 and 11.
Later Ken Ono conjectured that the elusive crank also satisfies exactly the same types of general congruences. This was proved by his Ph.D. student Karl Mahlburg in his 2005 paper Partition Congruences and the Andrews–Garvan–Dyson Crank, linked below. This paper won the first Proceedings of the National Academy of Sciences Paper of the Year prize.
It is seen to have dimension 0 only in the cases where l = 5, 7 or 11 and since the partition function can be written as a linear combination of these functions this can be considered a formalization and proof of Ramanujan's observation.
In 2001, R.L. Weaver gave an effective algorithm for finding congruences of the partition function, and tabulated 76,065 congruences. This was extended in 2012 by F. Johansson to 22,474,608,014 congruences, one large example being
- Tau-function, for which there are other so-called Ramanujan congruences
- Rank of a partition
- Crank of a partition
- S. Ramanujan, Congruence properties of partitions, Math. Z. 9 (1921), 147–153.
- "Cozzarelli Prize". National Academy of Sciences. June 2014. Retrieved 2014-08-06.
- Ken Ono, Amanda Folsom, & Zach Kent (2011). l-adic properties of the partition function American Institute of Mathematics.
- Ken Ono & Jan Bruinier (2011). AN ALGEBRAIC FORMULA FOR THE PARTITION FUNCTION American Institute of Mathematics.
- R.L. Weaver, New congruences for the partition function, The Ramanujan Journal, 5 (2001), 53-63. 
- F. Johansson, Efficient implementation of the Hardy-Ramanujan-Rademacher formula, LMS Journal of Computation and Mathematics 15 (2012), 341-359. 
- Ono, Ken (2000). "Distribution of the partition function modulo m". Ann. Math. (2) 151 (1): 293–307. doi:10.2307/121118. Zbl 0984.11050.
- Ono, Ken (2004). The web of modularity: arithmetic of the coefficients of modular forms and q-series. CBMS Regional Conference Series in Mathematics 102. Providence, RI: American Mathematical Society. ISBN 0-8218-3368-5. Zbl 1119.11026.
- Ramanujan, S. (1919). "Some properties of p(n), the number of partitions of n". Proc. Cambridge Philos. Soc. 19: 207–210. JFM 47.0885.01.
- "Abstract". Proceedings of the National Academy of Science. Retrieved 2007-03-31.
- Karl Mahlburg (2005). "Partition Congruences and the Andrews–Garvan–Dyson Crank" (PDF). Proceedings of the National Academy of Sciences 102 (43): 15373–76. doi:10.1073/pnas.0506702102. PMC 1266116. PMID 16217020.
- Dyson's rank, crank and adjoint. A list of references.