Eh folks, any suggestion regarding a modular arithmetic in ? I know CompCert has one, but it is not standalone as far as I am aware, so it’s a bit less easy to use.

Would love to hear your though, thanks!

@lthms None at all, but I'd love be to hear if you find something! I started implementing it myself, but never finished...

@tfb No luck so far, but I have found a way to circumvent this need, so… x)

Sign in to participate in the conversation

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!