You need to enable JavaScript to use the proof viewer.