github.com/yzhs/alexandria (go): A tool for managing mathematical knowledge
Keywords: knowledge|latex|mathematics|search