Pim Otte
Pim Otte
This PR does initial setup with Circle. For now it just runs linting and formatting. For this to work, verifynpm/tbv needs to be enabled on circle ci [step 4/5 of...
Useful functionalities: - [ ] Run tests - [ ] Produce coverage report - [ ] Run linter - [ ] Run prettier (do we need this in addition to...
I was able to delete verify.ts without seemingly any issues. @skonves , could you shine some light on whether this file serves any role?
In trying to build #6, I find that I'm feeling the lack of some sort of test to verify I'm not breaking anything. I would personally start with an integration...
I'd like to be able to run tbv to verify all the dependencies of the current repo. Since the dependencies are already downloaded, we shouldn't need to fetch them from...
Proof by induction on the number of summands. finset.sym is used to sum over. It means we have access to the finset tooling to rewrite it, and it's one of...
This PR adds the help flag to the general command and each sub-command. Command builders have been adjusted to give more details and reflect what's going on. Where possible, I've...
I felt like these were missing, I tried adhering to the existing standards, but happy to patch things up if I missed something:)