For the sake of rendering proofs to something you could include in an academic paper, or in a course assignment, it would be nice to have PDF, as an option. It might even end up looking nicer than the current AST-to-HTML renderer. Here's a thought: http://parall.ax/products/jspdf
For the sake of rendering proofs to something you could include in an academic paper, or in a course assignment, it would be nice to have PDF, as an option. It might even end up looking nicer than the current AST-to-HTML renderer. Here's a thought: http://parall.ax/products/jspdf