Lean 4.0.0-m3 (2022-01-31)🔗

This is the third milestone release of Lean 4, and the last planned milestone before an official release. With almost 3000 commits improving and extending many parts of the system since the last milestone, we are now close to completing all main features we have envisioned for Lean 4.

Contributors:

$ git Shortlog -s -n v4.0.0-m2..v4.0.0-m3
  分段阅读_第 1719 章
   第725章 塞巴斯蒂安·乌尔里希
   149 沃伊切赫·纳罗基
    93 丹尼尔·塞尔萨姆
    82 加布里埃尔·艾伯纳
    36 乔沙
    35 丹尼尔·法比安
    21 蒂德乌
    14 马里奥·卡内罗
    13 拉斯克21
    12 詹尼斯·林佩尔格
    11 克里斯·洛维特
     8 亨里克·博文
     4 弗朗索瓦·G·多赖斯
     4悉达多
     3 乔·亨德里克斯
     3 斯科特·莫里森
     3 阿姆克恩
     2 乔什·莱文
     2 麦克
     2 麦克马龙
     2 西蒙·休顿
     2个百分点
     1 安德斯·克里斯蒂安森·索尔比
     1 安德烈·切列姆斯科伊
     1 阿瑟·保利诺
     1 克里斯蒂安·佩勒
     1 台经过正式验证的华夫饼机
     1 猎人门罗
     1 扬·赫尔切克
     1 约书亚·西顿
     1 凯文·巴扎德
     1 洛伦茨·洛伊特格布
     1 毛里西奥·科拉雷斯
     1 迈克尔·伯吉
     1 保罗·布林克梅尔
     1 雷乔·雅科拉
     1 塞弗伦红木
     1 悉达多·巴特
     1 汤姆·鲍尔
     1 瓦伦·甘地
     1 沃伊切赫·卡皮尔
     1 泽维尔·诺里亚
     1 加布里埃尔·多瑞亚斯·多勒
     1 济吉
     1 Бакиновский Максим