Jon Awbrey
→Praeclarum Theorema (Leibniz)
04:20
+288
→Proof Animations: + [Peirce's Law]
03:48
+560
+ [dominant form theorem]
02:00
+274
→Proof Animations: + Image:Generation Theorem 2.0 Animation.gif
02:27
+268
no edit summary
03:32
+540
re-organize
18:42
-15
→Proof Animations: + double negation
17:46
+278
→Praeclarum Theorema: + Proof by CAST : Version 2
20:24
+303
→Proof Animations
03:50
+302
16:08
-89
+601
+ [proof animations]
14:04
+122
+ user workspace
+182
