Brandon Rozek brozek
0 followers · 0 following
Repositories
24
 Projects Packages Public activity Starred repositories
brozek synced commits to main at brozek/website-toots from mirror 2024-11-04 05:30:34 +00:00
2da3ad66ff New/Modified Toots
brozek synced commits to main at brozek/website-toots from mirror 2024-11-03 05:00:35 +00:00
cddba72f48 New/Modified Toots
brozek synced commits to main at brozek/website-toots from mirror 2024-11-02 04:40:35 +00:00
27c894c3f2 New/Modified Toots
brozek synced commits to main at brozek/website-toots from mirror 2024-11-01 04:20:33 +00:00
51ef87b633 New/Modified Toots
brozek synced commits to refs/pull/17/merge at brozek/vspursuer from mirror 2024-11-01 01:50:35 +00:00
a02043ba25 Merge 9744f976dd into 84e4d3d1e1
9744f976dd Fixed numbering scheme
17fb542bd0 Progress on handling custom connectives
e293e5ac3e Finished parse refactor
4e4e19e117 Clarifying the parsing transition system
Compare 5 commits »
brozek synced commits to opt/9 at brozek/vspursuer from mirror 2024-11-01 01:50:34 +00:00
af81342a74 Break out of saturation computation early when top/bottom are found
brozek synced commits to refs/pull/10/head at brozek/vspursuer from mirror 2024-11-01 01:50:34 +00:00
af81342a74 Break out of saturation computation early when top/bottom are found
brozek synced commits to main at brozek/website-toots from mirror 2024-10-31 03:50:35 +00:00
c2997355c8 New/Modified Toots
brozek synced commits to main at brozek/website from mirror 2024-10-30 19:41:50 +00:00
181d724e30 New post
e773138948 URL Rename
Compare 2 commits »
brozek synced commits to main at brozek/website-toots from mirror 2024-10-30 05:32:09 +00:00
636d49f5d0 New/Modified Toots
brozek synced commits to feature/4 at brozek/vspursuer from mirror 2024-10-30 01:42:08 +00:00
9744f976dd Fixed numbering scheme
17fb542bd0 Progress on handling custom connectives
e293e5ac3e Finished parse refactor
Compare 3 commits »
brozek synced commits to refs/pull/17/head at brozek/vspursuer from mirror 2024-10-30 01:42:08 +00:00
9744f976dd Fixed numbering scheme
17fb542bd0 Progress on handling custom connectives
e293e5ac3e Finished parse refactor
Compare 3 commits »
brozek synced commits to master at brozek/website-theme from mirror 2024-10-29 21:32:08 +00:00
13ecf4a4a3 Print CSS Style
brozek synced commits to main at brozek/website from mirror 2024-10-29 21:02:09 +00:00
46ba407a7a New Post
15e3bc0643 Theme update
Compare 2 commits »
brozek synced commits to main at brozek/website-toots from mirror 2024-10-29 05:12:08 +00:00
690723c501 New/Modified Toots
brozek synced commits to main at brozek/website-toots from mirror 2024-10-28 04:52:09 +00:00
9c2863df75 New/Modified Toots
brozek synced commits to main at brozek/website from mirror 2024-10-28 04:32:09 +00:00
a92ed52f8f Added other proofs
270ddc8da0 Typo fix
Compare 2 commits »
brozek synced commits to main at brozek/website-toots from mirror 2024-10-27 04:22:08 +00:00
06f8ec8cae New/Modified Toots
brozek synced commits to main at brozek/website-toots from mirror 2024-10-26 04:12:07 +00:00
a210a30f4d New/Modified Toots
brozek synced commits to feature/4 at brozek/vspursuer from mirror 2024-10-26 01:32:08 +00:00