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-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
brozek synced new reference feature/4 to brozek/vspursuer from mirror 2024-10-26 01:32:08 +00:00
brozek synced commits to opt/9 at brozek/vspursuer from mirror 2024-10-26 01:32:08 +00:00
bed3d09f4a Check for top and bottom within subalgebra
brozek synced commits to refs/pull/10/head at brozek/vspursuer from mirror 2024-10-26 01:32:08 +00:00
bed3d09f4a Check for top and bottom within subalgebra
brozek synced commits to refs/pull/10/merge at brozek/vspursuer from mirror 2024-10-26 01:32:08 +00:00
11f8988e25 Merge bed3d09f4a into 84e4d3d1e1
bed3d09f4a Check for top and bottom within subalgebra
84e4d3d1e1 Changed project name
ff0405d41b Added ability to parse necessitation
8f83cd6abd Added another example
Compare 17 commits »
brozek synced commits to main at brozek/website-toots from mirror 2024-10-25 03:52:07 +00:00
7e714e42dc New/Modified Toots
brozek synced commits to main at brozek/website-toots from mirror 2024-10-24 03:32:07 +00:00
16f747b9ea New/Modified Toots
brozek synced commits to main at brozek/website from mirror 2024-10-23 19:02:09 +00:00
bc493c8c22 New post
brozek synced commits to main at brozek/website-toots from mirror 2024-10-23 03:02:09 +00:00
cc461fdd09 New/Modified Toots
brozek synced commits to main at brozek/website-toots from mirror 2024-10-22 02:42:07 +00:00
4cf7657b8e New/Modified Toots