MathlibExplorer
MathlibExplorer copied to clipboard
Crispher
Visualizing the network of math theories.
Any chance that the source code of the visualizer will be released? As mentioned in the intro video it is under C++ framework, I may help to modify it to...
Great project. I'd like to extend this project to other languages. Can you give me some advice on how to start?
1. Search for nodes by name(en/ch) 2. Provide an external link to the corresponding file in [mathlib4](https://github.com/leanprover-community/mathlib4) 3. highlight the most primary concept node e.g.(Algebra.Group.Baise/Ring/Field...) 4. provide the shortest path...
作者大大真的很NB，我既是数学爱好者，又是编程爱好者，对我来说作者这个项目真的太稀奇了，真切的希望作者可以开源让我学习一下，万分感谢！
有考虑将 MathlibExplorer 的文档导出为 SVG，并部署在 Github Pages 上吗 我下载了您的项目，可惜并没有看到如何实现渲染功能，无法将完整的可视化转移到网页上，我个人是希望实现网页效果，以惠及更多人，如果有机会，我可以帮你实现 Github Pages，以提供一个稳定的网页预览效果 Have you considered exporting the Visualization interface of MathlibExplorer as SVG and deploying it on Github Pages? I downloaded your...
现在的代码库中只有MacOS和Windows的可执行文件，并不包含代码，这是因为当前的程序是基于C++和bgfx编写的，还包含了一些我自己小脚本，要build这些代码**非常困难**，我相信如果我不用一周写文档和自动化脚本，并且花很多时间来回答issue，它们公布出来也不会起到任何作用。 今年5月，我尝试用Unity重写了这个项目，就开发上手来说，友好很多，只要有unity的经验应该问题不大。但是我还没有完整做出前一版本的功能，最近也由于忙着开发游戏没有时间做这个项目。如果你确实想基于当前的项目做一些扩展，并且熟悉Unity，我可以分享我的未完成代码——请通过评论此issue或者qq联系我。
