Closed Seasawher closed 6 months ago
generate md files in pure lean
mdgen https://github.com/Seasawher/mdgen
see https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/mdgen.3A.20lean2md.20in.20pure.20lean
generate md files in pure lean
mdgen https://github.com/Seasawher/mdgen
see https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/mdgen.3A.20lean2md.20in.20pure.20lean