jerrylicious/garden
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixed wrong proof marker.
All checks were successful
Compile Project / Compile (push) Successful in 32s
Details

Browse Source
This commit is contained in:
Bokuan Li
2026-06-03 17:24:30 -04:00
parent 677a396e24
commit 6441352421
3 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
.vscode/project.code-snippets vendored
View File

@@ -175,6 +175,6 @@
"Cite Proof": {
"scope": "latex",
"prefix": "cproof",
"body": ["{Proof, {{\\cite[$1]{$2}}}. }$0"]
"body": ["[Proof, {{\\cite[$1]{$2}}}. ]$0"]
}
}