The Mathematics Consortium Bulletin October 2021 Vol. 3, Issue 2 A proof-assistant software Lean: Typical output of Lean in the form of a complex Network Read more about The Mathematics Consortium Bulletin October 2021 Vol. 3, Issue 2
