Accessible linear logic library

[rht]

o/. I have been combing through GitHub for an accessible linear logic library. By accessible, I meant that it can readily does an equivalent to e.g. evaluating the Boolean (True || False) == True to be True, so that it can be used in daily programming use case, beyond the Rust linear type system use case. I don't have enough background in formal logic, so currently, I can't comprehend your codebase.

However, I have a request: I wonder if you could review an implementation I got from o3-mini-high (as of Feb 2025), to be a satisfactory linear logic implementation in Python: https://gist.github.com/rht/61ad4f68001544b81330140e828889a7. This would help me a ton, and allows me to explore using linear logic (next I want to embed it on quantum circuits on Qiskit) without having to be bogged in by the towers of abstractions and formalization.

PS: I first saw your posts in the IPFS discussion about CRDT from back in the day, ipfs/notes#40 (comment). But rediscovered you again when digging into linear logic.