Viewing profile — ndrwnaguib

I wanted to share a small research / engineering project I’ve been working on: zk-auctions, an experiment in building sealed-bid auctions using zero-knowledge proofs. The basic ide…

Thank you!

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

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

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.

This project aims to formalize the first volume of Prof. Bertrand Russell’s Principia Mathematica using the Lean theorem prover. Throughout the formalization, I tried to rigorously…

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