Metamath Zero, a bootstrapping theorem proverhttps://news.ycombinator.com/item?id=21358674#hackernews #tech
CleverLibre Social is an inclusive social instance for open discussion, learning, and community. All cultures welcome. Hate speech and harassment strictly forbidden.