From 261172e7a4cff7b9978eec4c0d32e963cbe7486e Mon Sep 17 00:00:00 2001
From: Eduardo Julian
Date: Wed, 17 Aug 2022 02:54:41 -0400
Subject: Proper testing for debug.log!

---
 documentation/bookmark/security/verification/formal.md | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'documentation/bookmark/security')

diff --git a/documentation/bookmark/security/verification/formal.md b/documentation/bookmark/security/verification/formal.md
index ed59c673a..c2e450d7e 100644
--- a/documentation/bookmark/security/verification/formal.md
+++ b/documentation/bookmark/security/verification/formal.md
@@ -1,4 +1,6 @@
 # Reference
 
+0. []()
+0. [Certifying Interpreters in Racket](https://kmicinski.com/certifying-interpreters)
 0. [Verifying Dynamic Trait Objects in Rust](https://www.cs.cornell.edu/~avh/dyn-trait-icse-seip-2022-preprint.pdf)
 
-- 
cgit v1.2.3