removeproofs script

removeproofs

@@ -0,0 +1,14 @@
+#!/bin/bash
+
+if [ $# -ne 1 ]; then
+  echo "Usage: $0 <input_tex_file>"
+  exit 1
+fi
+
+input_file=$1
+output_file="${input_file%.tex}_without_proofs.tex"
+
+awk '/\\begin{proof}/, /\\end{proof}/ {next} 1' "$input_file" > "$output_file"
+
+echo "Lines between \\begin{proof} and \\end{proof} have been removed. Output saved to: $output_file"
+