Defining HF is very difficult – see 1000+ page Fukaya-Oh-Ohta-Ono monograph. The major issue is transversality for the moduli spaces, which requires perturbation theory on the almost complex structure, the PDE operator, Hamiltonian isotopies of the Lagrangians, etc. Dealt with via Kuranishi spaces and polyfolds.