DCG LaTeX printer for FOL prover Simplifying Logic Proofs Introducing the DCG La Te X Printer for FOL Provers For those navigating the world of formal logic proofs the process can feel like a l 2 min read 04-10-2024 53