Comment by throwaway4x4

2 days ago

Past experience in logical frameworks tend to specify documentclass: script, letter, report, etc.

0 comments

throwaway4x4

Reply

No comments yet

Contribute on Hacker News ↗