21 בספטמבר 2014
28 ביולי 2013
19 באוגוסט 2012
18 במרץ 2012
Gran
←הוכחת משפט גדל בעזרת משפט הרקורסיה: הגהה
מ+104
Gran
←הוכחת משפט גדל בעזרת משפט הרקורסיה
+10
Gran
←מערכת הוכחה
+38
Gran
←מערכת הוכחה
+899
Gran
←הוכחת משפט גדל בעזרת משפט הרקורסיה
+2,053
Gran
←משפט האי־שלמות של גדל
+1,012
Gran
←משפט האי־שלמות של גדל
+2,849
11 בפברואר 2012
Gran
←משפט הרקורסיה: בדוגמאות הקידוד מופיע לפני הקלט
מ−2
Gran
←מכונת־טיורניג מייצרת עצמה: תיקון
מ+2
Gran
הפסקת שימוש בתבנית הפניה לויקיפדיה
מ+46
10 בפברואר 2012
8 בפברואר 2012
31 בינואר 2012
29 בינואר 2012
20 בינואר 2012
18 בינואר 2012
17 בינואר 2012
Gran
←משפט הרקורסיה: הגהה
מ+15
Gran
←משפט הרקורסיה
+60
Gran
←משפט הרקורסיה: עיצוב, הגהה
מ+283
Gran
←משפט הרקורסיה
+4,060
16 בינואר 2012
Gran
←מכונת־טיורניג מייצרת עצמה: הגהה, עיצוב
מ+473
Gran
←תוכניות המייצרות את עצמן: הללויה.
+6,660
Gran
←תוכניות המייצרות את עצמן
מ−1