feat: add a new page with very basic documentation for Pi/Sort/Type/Prop
#172
Conversation
Co-authored-by: Kyle Miller <kmill31415@gmail.com>
|
#deploy |
|
This PR has been successfully deployed! You can find it at http://leanprover-community.github.io/mathlib_docs_demo in around 10 minutes, or watch the deployment progress by going to http://github.com/leanprover-community/mathlib_docs_demo |
Improve the prose make the title shorter
|
#deploy |
|
This PR has been successfully deployed! You can find it at http://leanprover-community.github.io/mathlib_docs_demo in around 10 minutes, or watch the deployment progress by going to http://github.com/leanprover-community/mathlib_docs_demo |
|
#deploy |
|
This PR has been successfully deployed! You can find it at http://leanprover-community.github.io/mathlib_docs_demo in around 10 minutes, or watch the deployment progress by going to http://github.com/leanprover-community/mathlib_docs_demo |
|
That's an amazing addition! At some point we should probably improve the instance lists a bit (maybe at least sort them, show the type, etc.). |
The actual text content is pretty sloppy here, the main aim is to make the instance lists available.