Merge pull request #1494 from MarkQuach12:bugfix/proof

GitOrigin-RevId: 4d75435011f33ac9e56b7b2443ea359b2c8ced39
2026-11-12 13:13:45 +01:00 · 2026-09-17 11:25:01 +00:00
parent 0ecf928249 60d2dc25ab
commit f72e36a492
1 changed files with 1 additions and 0 deletions
@@ -58,6 +58,7 @@ export const environments = new Map([
  ],
  ['multline', snippet('multline')],
  ['multline*', snippet('multline*')],
+  ['proof', snippet('proof')],
  ['quote', snippet('quote')],
  ['split', snippet('split')],
  [