ddiruscio/logseq
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

[logseq-plugin-git:commit] 2025-06-05T19:41:07.930Z

Browse Source
This commit is contained in:
ddiruscio
2025-06-05 21:41:08 +02:00
parent 23edf6d6ab
commit cfd25bf303
6304 changed files with 708478 additions and 466 deletions
Download Patch File Download Diff File Expand all files Collapse all files
pages/hls__TOSEM-2024-0012_Proof_hi_1706122892823_0.md
+21
View File
@@ -0,0 +1,21 @@
-
file:: [TOSEM-2024-0012_Proof_hi_1706122892823_0.pdf](../assets/TOSEM-2024-0012_Proof_hi_1706122892823_0.pdf)
file-path:: ../assets/TOSEM-2024-0012_Proof_hi_1706122892823_0.pdf
- tion framework (DD
ls-type:: annotation
hl-page:: 6
hl-color:: yellow
id:: 660290ad-4267-4d0d-b85a-569fe2ce5094
- 114115116117118119120121122123124125126
ls-type:: annotation
hl-page:: 6
hl-color:: yellow
id:: 660290d2-7ba6-4f79-a3e0-240076eb6b9c
- [:span]
ls-type:: annotation
hl-page:: 6
hl-color:: yellow
id:: 660290dc-028d-4b1b-a328-93b640898da5
hl-type:: area
hl-stamp:: 1711444187912