projects / cfuerst / formal-numbers.git / shortlog
| 2017-03-22 | Wolfgang Schreiner | typo | commit | commitdiff | tree | snapshot |
| 2017-03-21 | Christoph Fuerst | modified loop invariant for primes | commit | commitdiff | tree | snapshot |
| 2017-03-21 | Christoph Fuerst | Added trial division algorithm for primes | commit | commitdiff | tree | snapshot |
| 2017-03-21 | Christoph Fuerst | Removed main | commit | commitdiff | tree | snapshot |
| 2017-03-21 | Christoph Fuerst | Added definition of quadratic residue. TODO: It is... | commit | commitdiff | tree | snapshot |
| 2017-03-21 | Christoph Fuerst | Initial revision | commit | commitdiff | tree | snapshot |