In this note we discuss the collection of statements known as Arnold conjecture for Hamiltonian diffeomorphisms of closed symplectic manifolds. We provide an overview of the homological, stable and strong versions of Arnold conjecture for non-degenerate Hamiltonian systems, a few versions of Arnold conjecture for possibly degenerate Hamiltonian systems, the degenerate version of Arnold conjecture for Hamiltonian homeomorphisms and Sandon's version of Arnold conjecture for contactomorphisms.