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: Jan 07 2026 at 01:55 UTC