← Back to context

Comment by throwaway4x4

1 day 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 ↗