  We construct the coherent states in the sense of Gilmore and Perelomov for
the fermionic Fock space. Our treatment is from the outset adapted to the
infinite-dimensional case. The fermionic Fock space becomes in this way a
reproducing kernel Hilbert space of continuous holomorphic functions.
