Bachelor of Education (Secondary), Bachelor of Education / Bachelor of Advanced Studies (Secondary) - Course resolutions

These resolutions must be read in conjunction with applicable University By-laws, Rules and policies including (but not limited to) the University of Sydney (Coursework) Rule 2014 (the 'Coursework Rule'), the ... Admission, requirements, award of the
www.sydney.edu.au/content/handbooks/arts/coursework/education_secondary_advanced/resolutions.html

scnews: "Informal Friday Seminar: Narayanan -- Learning to lean on Lean!" by Catherine Meister

We should also be able to read theorems present in mathlib, the mathematical library of Lean. ... UNCLUTTER for printing. AUTHENTICATE to mark the scnews item as read.
www.maths.usyd.edu.au/s/scnitm/cmeister-InformalFridaySeminar-Nar-001