QuadraticIntegers
Formalising the Ring of Integers in Quadratic Fields in the Lean proof assistant.
1-3 of 3 versions of QuadraticIntegers
Sort by
Date
205ad5av4.24.0f8172a7v4.25.0v4.25.0d3b2ca8v4.24.0v4.24.0
205ad5af8172a7d3b2ca8