Brandon Rozek

brozek synced commits to main at brozek/website-toots from mirror 2024-11-12 00:50:35 +00:00

bcf7caffa0 New/Modified Toots

brozek synced commits to main at brozek/website-toots from mirror 2024-11-11 00:20:40 +00:00

6e6a88c468 New/Modified Toots

brozek synced commits to main at brozek/website-toots from mirror 2024-11-09 23:50:34 +00:00

386226b304 New/Modified Toots

brozek synced commits to main at brozek/website-toots from mirror 2024-11-09 07:30:35 +00:00

8529a296b9 New/Modified Toots

brozek synced commits to main at brozek/website-toots from mirror 2024-11-08 07:10:35 +00:00

b0ab1a1bab New/Modified Toots

brozek synced commits to main at brozek/website from mirror 2024-11-07 23:00:35 +00:00

e994e295ef Added talk

brozek synced commits to main at brozek/website-toots from mirror 2024-11-07 06:50:34 +00:00

bb5f948858 New/Modified Toots

brozek synced and deleted reference refs/tags/feature/12 at brozek/vspursuer from mirror 2024-11-07 02:10:35 +00:00

brozek synced and deleted reference refs/tags/feature/3 at brozek/vspursuer from mirror 2024-11-07 02:10:35 +00:00

brozek synced and deleted reference refs/tags/feature/4 at brozek/vspursuer from mirror 2024-11-07 02:10:35 +00:00

brozek synced and deleted reference refs/tags/large_matrices at brozek/vspursuer from mirror 2024-11-07 02:10:35 +00:00

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