This repository holds the content of Mathlore, a free and open repository of mathematical knowledge encoded in the Mathlingua language that allows mathematical concepts to be described precisely and rendered beautifully.
Note: Mathlore is a handcrafted collection of knowledge with entries written by hand. It is small but growing.