Arend 1.9.0 released

Language updates:

• Properties in \Sigma-types
• Definition parameters are visible in the \where block
• Global level declarations
• Infix patterns
• Axioms
• Box expressions
• Property parameters

Plugin updates:

• Inlays for levels, added parameters, and used axioms
• “Change arguments explicitness” refactoring
• “Change signature” refactoring
• Revealing information in error messages

arend-lib:

• The definion of modules, algebras, strict domains, polynomials, and various structures on them
• A synthetic definition of a derivative and its basic properties
• The definition of real numbers and the construction of the structure of an ordered field on them (except for multiplication).
• A tactic for solving systems of linear equations
• The definition of schemes, affine schemes, and a prove that affine schemes are schemes.
• A partial prove of the univalence for the precategory of ringed locales.

• 2024 1
• 2022 3
• 2021 2
• 2020 5
• 2019 3