jude

0 Followers · 0 Following

• Joined on 2023-04-04

Repositories

8

Projects Packages Public Activity Starred Repositories

jude pushed to master at jude/Riskless 2023-05-01 13:44:43 +00:00

f0176f301e done????????????????

jude pushed to master at jude/Riskless 2023-05-01 13:42:22 +00:00

6d83ccfb5b done????????????????

jude pushed to master at jude/Riskless 2023-05-01 12:04:56 +00:00

0507b2e820 final?

jude pushed to master at jude/Riskless 2023-05-01 12:00:14 +00:00

46f4bfd7ff final?

jude pushed to master at jude/Riskless 2023-04-30 17:42:56 +00:00

9c6b251a25 aaaaaaaaaaaaaaaaaa

jude pushed to master at jude/Riskless 2023-04-29 15:35:22 +00:00

0fed48b79d idk

jude pushed to master at jude/Riskless 2023-04-28 20:14:35 +00:00

cceb6dee90 idk

jude pushed to master at jude/Riskless 2023-04-28 13:33:57 +00:00

9d01d3bd38 Diagrams

jude pushed to master at jude/Riskless 2023-04-28 13:26:03 +00:00

a7daf39918 Diagrams

jude pushed to master at jude/Riskless 2023-04-28 11:43:03 +00:00

663b8ab4de Lower rounds. tex stuff

jude pushed to master at jude/Riskless 2023-04-28 09:32:12 +00:00

6005cd6aff Fix bit length proof

jude pushed to master at jude/Riskless 2023-04-27 15:04:39 +00:00

574287d07b ...

jude pushed to master at jude/Riskless 2023-04-27 15:04:16 +00:00

092475d58e ...

jude pushed to master at jude/Riskless 2023-04-27 13:46:51 +00:00

a63fea7e17 ...

jude pushed to master at jude/Riskless 2023-04-27 11:52:07 +00:00

dee1da6fb1 fortify working and verifying

jude pushed to master at jude/Riskless 2023-04-26 13:49:15 +00:00

9e4a57605d length proof working

jude pushed to master at jude/Riskless 2023-04-25 17:05:48 +00:00

7591c84823 started working on another proof

jude pushed to master at jude/Riskless 2023-04-25 16:39:18 +00:00

810382fc4f update diss

jude released v1.5.9 at jude/soundfx-bot 2023-04-09 16:37:37 +00:00

jude pushed tag v1.5.9 to jude/soundfx-bot 2023-04-09 16:37:36 +00:00