diff --git a/vimrc b/vimrc
index 123c54a..24eb10c 100644
--- a/vimrc
+++ b/vimrc
@@ -372,6 +372,8 @@ nnoremap <space>f <cmd>lua vim.lsp.buf.formatting()<CR>
 
 " nnoremap <leader>i <Cmd>lua require('lean.infoview').toggle()<CR>
 au filetype lean,lean3 nnoremap <buffer> <leader>K <CMD>LeanLineDiagnostics<CR>
+au filetype lean,lean3 nnoremap <buffer> <leader>g <CMD>LeanGoal<CR>
+au filetype lean nnoremap <buffer> <leader>G <CMD>LeanTermGoal<CR>
 
 nnoremap <c-p> <cmd>Telescope find_files<cr>
 nnoremap <leader>ff <cmd>Telescope find_files<cr>