graph 1 groff 1 lean 1 lua 1 pandoc 1 postgres 1 proofs 1 rust 3 self-hosting 1