diff --git a/lua/ada_mode.lua b/lua/ada_mode.lua
index 4ed63c0..84f3fc7 100644
--- a/lua/ada_mode.lua
+++ b/lua/ada_mode.lua
@@ -11,8 +11,19 @@ function Prove()
 	local run_cmd = { "alr gnatprove" }
 	vim.api.nvim_buf_set_lines(0, 0, -1, false, run_cmd)
 	vim.cmd(":%!bash")
+
+	buffer_loaded = true
 end
 
+function Close_Prove()
+	if buffer_loaded then
+		buffer_loaded = false
+		vim.cmd("bd!")
+	end
+end
+
+vim.keymap.set("n", "pp", ":lua Close_Prove()<cr>")
+
 -- @name setup_ada
 -- @param
 -- @short Verify installation of ada tools or install them.