Brandon Rozek brozek
0 followers · 0 following
Repositories
24
 Projects Packages Public activity Starred repositories
brozek synced and deleted reference refs/tags/opt/7 at brozek/vspursuer from mirror 2024-11-07 02:10:35 +00:00
brozek synced and deleted reference refs/tags/refs/pull/10/merge at brozek/vspursuer from mirror 2024-11-07 02:10:35 +00:00
brozek synced and deleted reference refs/tags/refs/pull/17/merge at brozek/vspursuer from mirror 2024-11-07 02:10:35 +00:00
brozek synced commits to main at brozek/vspursuer from mirror 2024-11-07 02:10:35 +00:00
f057ba64fc Updated interface
8628107704 Discard subalgebras with bottom/top
7b93a9ff35 Support Custom Connectives
76eeee701e Process nullary connectives
af81342a74 Break out of saturation computation early when top/bottom are found
Compare 13 commits »
brozek synced commits to refs/pull/17/head at brozek/vspursuer from mirror 2024-11-07 02:10:35 +00:00
76eeee701e Process nullary connectives
brozek synced commits to main at brozek/website-toots from mirror 2024-11-06 06:30:35 +00:00
7201140147 New/Modified Toots
brozek synced commits to main at brozek/website-toots from mirror 2024-11-05 06:00:34 +00:00
0f4dad0098 New/Modified Toots
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