Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Isabelle on finite fields

Email Gateway (Aug 19 2022 at 15:14):

From: Holden Lee <hl422@cam.ac.uk>
What has been done with Isabelle on finite fields? I will likely work on
formalising some results on them this summer.

-Holden Lee

Last updated: Sep 08 2025 at 20:22 UTC