Brandon Rozek

brozek synced commits to main at brozek/website-toots from mirror 2024-06-01 03:30:53 +00:00

e7c2aa14ee New/Modified Toots

brozek synced commits to main at brozek/vspursuer from mirror 2024-05-30 06:00:48 +00:00

43bb036008 Added command in readme

667eea0c70 Remove conjunction and disjunction when not well-defined

df5b0f5161 Pretty printing

6bb863da97 Code cleanup

6b4d5828c8 Code cleanup and documentation

Compare 6 commits »

brozek synced commits to main at brozek/website from mirror 2024-05-26 16:50:48 +00:00

e0d34f46e8 Added ShareIt link

brozek synced commits to main at brozek/website from mirror 2024-05-25 00:10:48 +00:00

6fc76d1631 Updated publications

brozek synced commits to main at brozek/website from mirror 2024-05-23 07:30:48 +00:00

5ed5898a1b Updated publication

brozek synced commits to main at brozek/website-toots from mirror 2024-05-21 06:40:47 +00:00

aac4b503dd New/Modified Toots

brozek synced commits to main at brozek/website from mirror 2024-05-19 05:50:48 +00:00

b6640abdea New post

brozek synced commits to main at brozek/website from mirror 2024-05-16 21:00:47 +00:00

cfef367750 Updated research page

brozek synced commits to main at brozek/website-toots from mirror 2024-05-16 04:50:48 +00:00

93868d7383 New/Modified Toots

brozek synced commits to main at brozek/vspursuer from mirror 2024-05-14 05:00:48 +00:00

2fa8aa9c15 Updates

brozek synced commits to main at brozek/website from mirror 2024-05-13 03:40:47 +00:00

834d7637cf New post

brozek synced commits to main at brozek/website from mirror 2024-05-10 10:30:49 +00:00

221f0da097 New post

brozek synced commits to main at brozek/vspursuer from mirror 2024-05-10 04:50:47 +00:00

cf636eb7fd Updates

brozek synced commits to main at brozek/website-toots from mirror 2024-05-10 02:20:47 +00:00

41108d1575 New/Modified Toots

brozek synced commits to main at brozek/vspursuer from mirror 2024-05-06 04:30:48 +00:00

ff666c326e Small cleanup

brozek synced commits to master at brozek/website-theme from mirror 2024-05-05 10:20:48 +00:00

824a45b711 Removed user specific code

brozek synced commits to main at brozek/website from mirror 2024-05-05 08:30:47 +00:00

c9456f53ca Added user-dependent home page

brozek synced commits to main at brozek/website from mirror 2024-05-05 00:20:47 +00:00

04ddc33c81 New post

brozek synced commits to main at brozek/vspursuer from mirror 2024-05-04 04:30:46 +00:00

f3c82f090f Model of R that has VSP

e105c4bf5e Initial draft of VSP check

Compare 2 commits »

brozek synced commits to main at brozek/website-toots from mirror 2024-05-01 06:50:48 +00:00

ed5faff782 New/Modified Toots