cfuerst/formal-numbers.git
2017-03-21 Christoph FuerstRemoved main
2017-03-21 Christoph FuerstAdded definition of quadratic residue. TODO: It is...
2017-03-21 Christoph FuerstInitial revision