[isabelle] Isabelle on finite fields



What has been done with Isabelle on finite fields? I will likely work on
formalising some results on them this summer.

-Holden Lee



This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.