User contributions

Search for contributions

 Show contributions of new accounts only
 IP address or username: Namespace: all (Main) Talk User User talk ProofWiki ProofWiki talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Axiom Axiom talk Definition Definition talk Symbols Symbols talk  Deleted only

 Only show edits that are latest revisions

From year (and earlier): From month (and earlier): all January February March April May June July August September October November December

(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)

• 22:28, 20 July 2010 (diff | hist) Praeclarum Theorema ‎ (→Sources: sub [link to webarchive page with working copy / link to page with busted animation])
• 10:00, 28 June 2010 (diff | hist) Definition:Logical Graph ‎ (→Resources: replace link to broken page with link to webarchive copy)
• 09:14, 28 June 2010 (diff | hist) Definition talk:Logical Graph ‎ (→Notes Toward A Rewrite: the other horn ...) (top)
• 07:22, 28 June 2010 (diff | hist) Definition talk:Logical Graph ‎ (→Notes toward a rewrite)
• 07:08, 28 June 2010 (diff | hist) Definition talk:Logical Graph ‎ (→Notes toward a rewrite: add a bit)
• 07:04, 28 June 2010 (diff | hist) Definition talk:Logical Graph ‎ (→Notes toward a rewrite)
• 07:02, 28 June 2010 (diff | hist) Definition talk:Logical Graph ‎ (→Notes toward a rewrite: note 1)
• 06:32, 28 June 2010 (diff | hist) Definition talk:Logical Graph ‎ (→Notes toward a rewrite: add a section for collecting notes)
• 22:32, 2 April 2010 (diff | hist) File:Two-Thirds Majority Eq 1 Pf 1 Banner Title.png ‎ (uploaded a new version of "File:Two-Thirds Majority Eq 1 Pf 1 Banner Title.png") (top)
• 14:20, 2 April 2010 (diff | hist) N File:Praeclarum Theorema 2.0 Animation.gif ‎ (top)
• 14:12, 2 April 2010 (diff | hist) File:Equational Inference Rule Cancel (( )).png ‎ (uploaded a new version of "File:Equational Inference Rule Cancel (( )).png") (top)
• 14:12, 2 April 2010 (diff | hist) N File:Equational Inference Rule Reflect ad(bc).png ‎ (top)
• 14:10, 2 April 2010 (diff | hist) N File:Equational Inference Rule Quit abcd.png ‎ (top)
• 14:10, 2 April 2010 (diff | hist) N File:Equational Inference Rule Weed bc.png ‎ (top)
• 14:10, 2 April 2010 (diff | hist) N File:Equational Inference Rule Reflect b, c.png ‎ (top)
• 14:10, 2 April 2010 (diff | hist) N File:Equational Inference Rule Weed a, d.png ‎ (top)
• 14:07, 2 April 2010 (diff | hist) N File:Praeclarum Theorema 1.0 Storyboard 7.png ‎ (top)
• 14:06, 2 April 2010 (diff | hist) N File:Praeclarum Theorema 1.0 Storyboard 6.png ‎ (top)
• 14:05, 2 April 2010 (diff | hist) N File:Praeclarum Theorema 1.0 Storyboard 5.png ‎ (top)
• 14:04, 2 April 2010 (diff | hist) N File:Praeclarum Theorema 1.0 Storyboard 4.png ‎ (top)
• 14:03, 2 April 2010 (diff | hist) N File:Praeclarum Theorema 1.0 Storyboard 3.png ‎ (top)
• 14:02, 2 April 2010 (diff | hist) N File:Praeclarum Theorema 1.0 Storyboard 2.png ‎ (top)
• 14:01, 2 April 2010 (diff | hist) N File:Praeclarum Theorema 1.0 Storyboard 1.png ‎ (top)
• 14:00, 2 April 2010 (diff | hist) N File:Praeclarum Theorema 1.0 Marquee Title.png ‎ (top)
• 14:00, 2 April 2010 (diff | hist) N File:Praeclarum Theorema 1.0 Splash Page.png ‎ (top)
• 13:48, 2 April 2010 (diff | hist) Definition:Logical Graph ‎ (+ animation for praeclarum theorema)
• 08:30, 1 April 2010 (diff | hist) N File:Peirce's Law Strong Form 2.0 Animation.gif ‎ (top)
• 08:30, 1 April 2010 (diff | hist) N File:Peirce's Law Strong Form 2.0 Frame 4.png ‎ (top)
• 08:30, 1 April 2010 (diff | hist) N File:Peirce's Law Strong Form 2.0 Frame 3.png ‎ (top)
• 08:30, 1 April 2010 (diff | hist) N File:Peirce's Law Strong Form 2.0 Frame 2.png ‎ (top)
• 08:30, 1 April 2010 (diff | hist) N File:Peirce's Law Strong Form 2.0 Frame 1.png ‎ (top)
• 08:28, 1 April 2010 (diff | hist) N File:Peirce's Law Strong Form 1.0 Storyboard 4.png ‎ (top)
• 08:28, 1 April 2010 (diff | hist) N File:Peirce's Law Strong Form 1.0 Storyboard 3.png ‎ (top)
• 08:28, 1 April 2010 (diff | hist) N File:Peirce's Law Strong Form 1.0 Storyboard 2.png ‎ (top)
• 08:28, 1 April 2010 (diff | hist) N File:Peirce's Law Strong Form 1.0 Storyboard 1.png ‎ (top)
• 08:25, 1 April 2010 (diff | hist) N File:Equational Inference Rule Cancel (( )).png ‎
• 08:25, 1 April 2010 (diff | hist) N File:Equational Inference Rule Quit ((q)).png ‎ (top)
• 08:25, 1 April 2010 (diff | hist) N File:Equational Inference Rule Collect p.png ‎ (top)
• 08:24, 1 April 2010 (diff | hist) N File:Peirce's Law Strong Form 1.0 Marquee Title.png ‎ (top)
• 08:22, 1 April 2010 (diff | hist) Peirce's Law ‎ (→Proof by Logical Graphs: break up monolithic storyboard & add animation)
• 07:50, 1 April 2010 (diff | hist) N File:Peirce's Law Strong Form 1.0 Splash Page.png ‎ (top)
• 07:40, 1 April 2010 (diff | hist) Peirce's Law ‎ (→Strong Form of Peirce's Law: JPEG → PNG)
• 14:03, 31 March 2010 (diff | hist) Peirce's Law ‎ (→Proof by Logical Graphs: JPEG ---> PNG + animation)
• 14:00, 31 March 2010 (diff | hist) Peirce's Law ‎ (JPEG ---> PNG)
• 13:54, 31 March 2010 (diff | hist) N File:Peirce's Law 2.0 Animation.gif ‎ (top)
• 13:52, 31 March 2010 (diff | hist) Definition:Logical Graph ‎ (+ animation for Peirce's Law)
• 15:36, 30 March 2010 (diff | hist) N File:Equational Inference Bar Delete a, b, c.png ‎ (top)
• 15:36, 30 March 2010 (diff | hist) N File:Equational Inference Bar Weed ab, ac, bc.png ‎ (top)
• 15:35, 30 March 2010 (diff | hist) N File:Equational Inference Bar Cancel (( )).png ‎ (top)
• 15:35, 30 March 2010 (diff | hist) N File:Equational Inference Bar Quit (a), (b), (c).png ‎ (top)

(Latest | Earliest) View (newer 50 | older 50) (20 | 50 | 100 | 250 | 500)