repository for material for Jan-Mar 2023 course on formalising mathematics - View it on GitHub