diff --git a/src/emacs/README.md b/src/emacs/README.md
index 7808b73f8..72f0b59fb 100644
--- a/src/emacs/README.md
+++ b/src/emacs/README.md
@@ -13,11 +13,13 @@ packages which can be installed via <kbd>M-x package-install</kbd>.
 
  - [dash][dash]
  - [dash-functional][dash]
+ - [f][f]
  - [s][s]
 
 [emacs24]: http://www.gnu.org/software/emacs
 [MELPA]: http://melpa.milkbox.net
 [dash]: https://github.com/magnars/dash.el
+[f]: https://github.com/rejeep/f.el
 [s]: https://github.com/magnars/s.el
 
 The following packages are *optional* but we recommend to install them
@@ -52,7 +54,7 @@ Put the following elisp code on your emacs setup (e.g. ``.emacs.d/init.el``):
 ;; Install required/optional packages for lean-mode
 (defvar lean-mode-required-packages
   '(company dash dash-functional flycheck whitespace-cleanup-mode
-    fill-column-indicator s lua-mode mmm-mode))
+    f fill-column-indicator s lua-mode mmm-mode))
 (dolist (p lean-mode-required-packages)
   (when (not (package-installed-p p))
     (package-install p)))
diff --git a/src/emacs/lean-require.el b/src/emacs/lean-require.el
index 72bd45e68..1b145ee10 100644
--- a/src/emacs/lean-require.el
+++ b/src/emacs/lean-require.el
@@ -23,9 +23,9 @@
       (error "Emacs version >= 24 is required to use lean-mode"))
   (lean-mode-check-package 'package)
   (lean-mode-check-package 'dash)
-  (let ((required-packages '(cl-lib dash dash-functional flymake compile s))
+  (let ((required-packages '(cl-lib compile dash dash-functional f flymake s))
         (optional-packages '(flycheck whitespace-cleanup-mode fill-column-indicator
-				      lua-mode mmm-mode)))
+                                      lua-mode mmm-mode)))
     (-each required-packages 'lean-mode-require-package)
     (-each optional-packages 'lean-mode-check-package)))