interactive theorem prover for math
https://leanprover.github.io/about/
https://leanprover.github.io/documentation/
community blog:
https://leanprover-community.github.io/blog/
community chatroom:
https://leanprover.zulipchat.com/
https://leanprover.zulipchat.com/#narrow/is/private
Xena Project:
https://twitter.com/XenaProject
https://t.co/BB5UsbN0GN?amp=1