Session Pell

Theories

• HOL-Library.Tree
• HOL-Library.IArray
• Efficient_Discrete_Sqrt
• Pell
• HOL-Library.While_Combinator
• HOL-Library.Nat_Bijection
• HOL-Library.Stream
• Pell_Algorithm
• HOL-Library.Case_Converter
  • File ‹case_converter.ML›
• HOL-Library.Code_Lazy
  • File ‹code_lazy.ML›
• Pell_Algorithm_Test