From 012f408f5e4d7f8e66ef2eb8ca3894eb8a8336ae Mon Sep 17 00:00:00 2001 From: lkcl Date: Wed, 11 Mar 2020 03:11:03 +0000 Subject: [PATCH] --- index.mdwn | 1 + 1 file changed, 1 insertion(+) diff --git a/index.mdwn b/index.mdwn index 2bd9f4a2f..568c3ba5b 100644 --- a/index.mdwn +++ b/index.mdwn @@ -72,3 +72,4 @@ design. See [[HDL_workflow]] Also, individuals with experience in formal mathematical verification are quite welcome. + -- 2.30.2