From 0a37d4c3b56a43c8b6555517c84a9b7466063fb4 Mon Sep 17 00:00:00 2001
From: Cesar_Strauss <Cesar_Strauss@web>
Date: Sun, 10 Jan 2021 22:39:36 +0000
Subject: [PATCH]

---
 Cesar_Strauss.mdwn | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/Cesar_Strauss.mdwn b/Cesar_Strauss.mdwn
index 6a6279401..f700443b3 100644
--- a/Cesar_Strauss.mdwn
+++ b/Cesar_Strauss.mdwn
@@ -55,9 +55,12 @@ unit tests.
 	Status: ongoing  
 	Priority: High
 
-11. Formal Proof for CompUnit
+11. Formal Proof for CompUnit  
         <https://bugs.libre-soc.org/show_bug.cgi?id=342>
 
+12. Formal Proof for PartitionedSignal  
+        <https://bugs.libre-soc.org/show_bug.cgi?id=565>  
+        Status: in progress  
 
 ## Completed but not yet submitted:
 
-- 
2.30.2