2 ms·Past experience in logical frameworks tend to specify documentclass: script, letter, report, etc.by throwaway4x4 10mo agoPast experience in logical frameworks tend to specify documentclass: script, letter, report, etc.