| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Adding ised | Michael Raskin | 2011-01-01 |
| * | Adding Satallax prover | Michael Raskin | 2010-12-03 |
| * | Recursive sourceInfo is more convenient | Michael Raskin | 2010-09-20 |
| * | Update the currently used autocallable template to make it usable with probab... | Michael Raskin | 2010-08-20 |
| * | Adding golly (a cellular automata program) | Michael Raskin | 2010-06-23 |