diff --git a/vimrc b/vimrc
index d0ac826..549d819 100644
--- a/vimrc
+++ b/vimrc
@@ -126,6 +126,8 @@ Plug 'nvim-lua/popup.nvim'
 Plug 'nvim-lua/plenary.nvim'
 Plug 'nvim-telescope/telescope.nvim'
 
+Plug 'gebner/VimFStar'
+
 Plug 'hashivim/vim-terraform'
 
 else
@@ -230,6 +232,8 @@ lua <<EOF
     },
   }
 
+  require'fstar'.setup{}
+
   -- require('nvim-treesitter.configs').setup{
   --   -- playground = {
   --   --   enable = true,