Skip to content

Activity

fix

joelrioupushed 1 commit to main • f37d12b…28c426c • 
on Feb 28, 2024

formalized the small object argument

joelrioupushed 1 commit to main • 08e4563…f37d12b • 
on Feb 28, 2024

wip

joelrioupushed 1 commit to main • 4c16d07…08e4563 • 
on Feb 28, 2024

wip

joelrioupushed 1 commit to main • 874f885…4c16d07 • 
on Feb 27, 2024

wip

joelrioupushed 1 commit to main • 5b1e399…874f885 • 
on Feb 27, 2024

wip

joelrioupushed 1 commit to main • d3b29d9…5b1e399 • 
on Feb 27, 2024

wip

joelrioupushed 1 commit to main • 63ef361…d3b29d9 • 
on Feb 27, 2024

wip

joelrioupushed 1 commit to main • 42cfe84…63ef361 • 
on Feb 27, 2024

wip

joelrioupushed 1 commit to main • 99c03ae…42cfe84 • 
on Feb 27, 2024

wip

joelrioupushed 1 commit to main • 725c105…99c03ae • 
on Feb 26, 2024

wip

joelrioupushed 1 commit to main • 65a4de0…725c105 • 
on Feb 26, 2024

wip

joelrioupushed 1 commit to main • 4b4bcba…65a4de0 • 
on Feb 26, 2024

wip

joelrioupushed 1 commit to main • e9e7045…4b4bcba • 
on Feb 26, 2024

wip

joelrioupushed 1 commit to main • d4564b0…e9e7045 • 
on Feb 26, 2024

wip

joelrioupushed 1 commit to main • 0eb0432…d4564b0 • 
on Feb 26, 2024

wip

joelrioupushed 1 commit to main • 2c4af76…0eb0432 • 
on Feb 26, 2024

wip

joelrioupushed 1 commit to main • 3e2f334…2c4af76 • 
on Feb 25, 2024

wip

joelrioupushed 1 commit to main • c6a930b…3e2f334 • 
on Feb 25, 2024

wip

joelrioupushed 1 commit to main • bc1e0f2…c6a930b • 
on Feb 25, 2024

wip

joelrioupushed 1 commit to main • 969dac0…bc1e0f2 • 
on Feb 25, 2024

wip

joelrioupushed 1 commit to main • 3a51bee…969dac0 • 
on Feb 25, 2024

wip

joelrioupushed 1 commit to main • 61f1b49…3a51bee • 
on Feb 25, 2024

Functor.WellOrderContinuous

joelrioupushed 1 commit to main • e072d6b…61f1b49 • 
on Feb 25, 2024

reinit config

joelrioupushed 1 commit to main • 2ee56ca…e072d6b • 
on Feb 25, 2024

some progress

joelrioupushed 1 commit to main • 8a44fb9…2ee56ca • 
on Jun 25, 2023

some fixes

joelrioupushed 1 commit to main • 2ab2c72…8a44fb9 • 
on May 22, 2023

some TODO

joelrioupushed 1 commit to main • ccfc288…2ab2c72 • 
on May 21, 2023

initial import

joelrioucreated main • ccfc288 • 
on May 21, 2023