projects / cfuerst / formal-numbers.git / log
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
cfuerst/formal-numbers.git
7 years agoAdded definition of quadratic residue. TODO: It is defined for primes only, consider...
commit | commitdiff | tree
Christoph Fuerst [Tue, 21 Mar 2017 18:46:09 +0000 (19:46 +0100)]
Added definition of quadratic residue. TODO: It is defined for primes only, consider in definition. Define Postcondition

7 years agoInitial revision
commit | commitdiff | tree
Christoph Fuerst [Tue, 21 Mar 2017 18:14:01 +0000 (19:14 +0100)]
Initial revision