About

[giscus[bot]]

About

This is the Lean prover community blog.
There is no predefined list of authors. Everybody can submit a pull-request
with a post in this folder.
If you are unsure whether your post will be welcome the

https://leanprover-community.github.io/blog/about/