Our great sponsors
-
Thank you so much! Well I tried to make it work so that literally any project you have sitting on your system can be imported into the app. In principle it should work, in practice the amount of block code elements can quickly become overwhelming.
At the end of wrapping up the beta version, I was using math inspector to create math inspector, this is how I wrote the TextParser[1] class, and there is a certain beauty to the way the files were synchronized, but since everything was still in development I ended up doing a lot in Sublime instead and have not had a chance to keep working on that aspect.
I think the more the app gets dog-fooded in this way, the more clear it will become what the optimal UI/UX is. Math Inspector is not an IDE, but it does create an additional visual layer that is kind of helpful during development, especially for quick iteration.
[1] https://github.com/MathInspector/MathInspector/blob/master/m...
-
I would be interested in something like this to visualize and inspect the structure of proofs, for example those contained in the Lean mathematical components library https://github.com/leanprover-community/mathlib
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
Related posts
- An Easy-Sounding Problem Yields Numbers Too Big for Our Universe
- Towards a new SymPy: part 2 – Polynomials
- It's not mathematics that you need to contribute to (2010)
- Did studying proof based math topics e.g. analysis make you a better programmer?
- Which proof assistant is the best to formalize real analysis/probability/statistics?