Algebraic computations in Lean
  • 1. Basics of polyrith
  • 2. Using polyrith
  • 3. Nonsingularity of algebraic curves
  • 4. Combining tactics
Algebraic computations in Lean
  • Search

© Copyright 2022-2024, Heather Macbeth.

Built with Sphinx using a theme provided by Read the Docs.