yuma-mizuno / lean-math-workshopLinks

数学系のためのLean勉強会
81Updated 10 months ago

Alternatives and similar repositories for lean-math-workshop

Users that are interested in lean-math-workshop are comparing it to the libraries listed below

Sorting: