4 ms·Update: http://www-formal.stanford.edu/jmc http://www-formal.stanford.edu/jmc is back...finally!by Lindemann 13y agoUpdate: http://www-formal.stanford.edu/jmc http://www-formal.stanford.edu/jmc is back...finally!