[isabelle-dev] Towards the release
lp15 at cam.ac.uk
Fri Oct 14 12:24:17 CEST 2016
That would be great!
I believe that Gauss’s law of quadratic reciprocity and Wilson’s theorem were never ported To Number_Theory.
> On 13 Oct 2016, at 17:36, Manuel Eberl <eberlm at in.tum.de> wrote:
> I for one am hoping to be able to get rid of the Old Number Theory
> before the release. All that is left to do is actually to adapt some
> theories of the ported theories to my recent changes concerning prime
> numbers, so I think I should be able to take care of that next week.
More information about the isabelle-dev