Template for C240 Models of Computation Assessed Coursework 2
Contains macros for typesetting register machines in textual, graphical and encoded formats.
Department of Computing, Imperial College London
This work is released into the Public Domain.
phase1-AR.tex (use only for Archival Research and Theory proposals; use phase1-GO.tex
for General Observer and Snapshot proposals and phase1-DD.tex for GO/DD
proposals or use phase1-MC.tex for GO/MC rapid response proposals.
HUBBLE SPACE TELESCOPE
PHASE I ARCHIVAL & THEORETICAL RESEARCH PROPOSAL TEMPLATE
FOR CYCLE 25 (2017)
Version 1.0, January 2017
Guidelines and assistance
Cycle 25 Announcement Web Page
Please contact the STScI Help Desk if you need assistance with any
aspect of proposing for and using HST. Either send e-mail to
email@example.com, or call 1-800-544-8125; from outside the United
States, call  410-338-1082.
A template for a proof submitted as homework with student name, today's date, assignment number, assignment statement, and proof.
Includes a function for aligning equals signs and has a box for the QED at the end of the proof.