(cache)ndrwnaguib's comments

ndrwnaguib · 2025-04-25T21:33:22 1745616802

Thank you!

ndrwnaguib · 2025-04-25T21:28:07 1745616487

I have not used `naproche` before; thanks for the suggestion. I will try several propositions and see what do I get!

ndrwnaguib · 2025-04-25T21:24:22 1745616262

Yes; the goal is to finish the first volume. I am particularly looking forward to formalizing the well-known 1+1 proof.

grandempire · 2025-04-25T21:26:32 1745616392

My understanding is the first bit follows first order logic fairly close but then diverges as Russel builds different classes of sets etc, do you have line of sight of how it’s going to translate?

ndrwnaguib · 2025-04-25T21:20:55 1745616055

You're not missing something. The project begun several months ago (I had to pause while I was writing my thesis). I resumed working on it recently.

ndrwnaguib · on Oct 17, 2023

This is a recent work on approximating solutions to the VRP and BPP by emulating the branching strategy of the Branch and Bound algorithm.