FAGiL consists of proof of theorems (proposition, lemmas, exercises ...) in Foundations of Algebraic Geometry (currently, we use September 2024 version) by Ravi Vakil implemented in Lean4.
and can prove their central properties, such as homotopy invariance, exactness and excision you master the basic homological algebra associated to chain complexes and their homology, and can use ...
Imagine you’re a student in high school or college. Class is about to start. You are faced with a notable dilemma: Should you whip out a notebook or a laptop to take notes? The answer is not so simple ...
Elementary set theory and solution sets of systems of linear equations. An introduction to proofs and the axiomatic methods through a study of the vector space axioms. Linear analytic geometry. Linear ...