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 |