Elk Cloner comments

Repositories
Issues
Comments

Results 1 comments of


                                            Elk Cloner

[ libs ] Add `public export` modifiers to arithmetic inequality proofs

Sure. For example, in my project I have a datatype `FinInc` (which is kinda like `Fin`, but includes the upper bound and is implemented as a `Nat` and `LTE` instead...