2008/10/22

Tactics

代數導論，助教公佈作業四解答，以 (La)TeX 排版。乍看之下我以為他寫的是 Coq tactics XD，因為每一句各自佔一行，而且幾乎都是符號，甚至有 "Contradiction." 這樣的 XD。

--
話說回來最新這份我也沒能排得多好看…

Labels:

posted by Josh Ko @ 1:16 pm   1 項意見

Blogger yen3 在 10/23/2008 2:49 am 說：

的確還蠻慘的，不過人家也是很認真的在寫~

 

<< 回到主頁