(no commit message)
authorlkcl <lkcl@web>
Wed, 11 Mar 2020 03:11:03 +0000 (03:11 +0000)
committerIkiWiki <ikiwiki.info>
Wed, 11 Mar 2020 03:11:03 +0000 (03:11 +0000)
index.mdwn

index 2bd9f4a2f5c833e129e1ec2053093fa360bae20a..568c3ba5b2657996086ad44d65fbefbe6e3f7699 100644 (file)
@@ -72,3 +72,4 @@ design. See [[HDL_workflow]]
 
 Also, individuals with experience in formal mathematical verification
 are quite welcome.
+