Felix Dilke

That would be a really interesting project, but ATM Bewl does calcuilations inside the actual topos (with pluggable implementations for locally finite topoi), not proofs using topos logic.

Thanks! Appreciate the interest. Now working on a complete retool of Bewl to use Scala 3 Yes, I'm aware of the Topos Institute, it would be my dream job to...

Hi Jean-Baptiste,Thanks for this - and the encouragement!I just presented Bewl to Huawei, as part of an application for a research job because they want to apply topos theory to...