We show that an ultra-cold atomic cloud bouncing on an oscillating mirror can reveal spontaneous breaking of a discrete time translation symmetry. In many-body simulations we illustrate the process of the symmetry breaking that can be induced by atomic losses or by a measurement of particle positions. The results pave the way for understanding and realization of the time crystal idea where crystalline structures form in the time domain due to spontaneous breaking of continuous time translation symmetry. 03.75.Lm, Symmetries of a quantum many-body Hamiltonian are reflected by properties of its eigenstates. However, there are systems whose eigenstates are extremely vulnerable to any symmetry breaking perturbation. Bose gas in a symmetric double well potential, with attractive particle interactions, is a simple example [1][2][3][4][5]. The ground state of the system reflects the symmetry of the external potential but it cannot be easily prepared in an experiment because it is a macroscopic superposition of two Bose-Einstein condensates (BEC) located in different potential wells. Loss of a particle is sufficient to break the symmetry and accumulate all remaining particles in one of the wells. Breaking of a symmetry due to an infinitesimally weak perturbation is called spontaneous symmetry breaking phenomenon.Spontaneous breaking of continuous spatial translation symmetry to discrete spatial translation symmetry is responsible for formation of space crystals. Recently it has been proposed that similar phenomenon can also occur in the time domain [6,7]. That is, it is possible to invent systems where the ground state of a time-independent Hamiltonian reveals spatially homogeneous flow of particles which under any symmetry breaking perturbation changes spontaneously to periodic motion of spatially inhomogeneous structures. Such a spontaneous breaking of continuous time translation symmetry to a discrete one is termed time crystal formation, see Fig. 1. Two different systems have been proposed: a bright soliton formed by attractively interacting particles on an Aharonov-Bohm ring [6] and ions on a ring in the presence of an external magnetic field [7] (see also [8][9][10][11][12]). These proposals triggered debate in the literature whether time crystal formation is possible. It seems that different assumptions can lead to contradictory conclusions [13][14][15][16][17][18][19][20][21][22].In the present paper we consider a periodically driven many-body system whose description can be reduced to a Hilbert space spanned by two periodically evolving modes. As in the case of a Bose gas in a double well potential [1-5], a spontaneous symmetry breaking process occurs. In our example, eigenstates of the system pos- sess discrete time translation symmetry which is spontaneously broken to another discrete translation symmetry but with a longer period, see Fig. 1. The spontaneous symmetry breaking that is predicted within the mean field approach, can be analyzed in full many-body simulations. Moreover it can be realized in ultra-...