If you are developing a production application, we recommend using TypeScript and enable type-aware lint rules. Check out the TS template to integrate TypeScript and typescript-eslint in your project.
In algebra, the remainder theorem is one of the keys used to find solutions to many polynomial division problems. If you are feeling it difficult to apply this mathematical technique, just stop ...
This project was a collaboration with Rose Lopez as part of the UC Berkeley Summer 2020 Lean Seminar. The goal of this project was to implement a version of the Chinese Remainder Theorem in Lean. You ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results