GitHub - LebrancWorkshop/Learn-Lean-Math-Proof: Learn Lean (Math-Proving Based Programming Language) for mathematical proving. · GitHub

Name		Name	Last commit message	Last commit date
README.md		README.md

Repository files navigation

About

Learn Lean (Math-Proving Based Programming Language) for mathematical proving.

lean mathematical-proof mathematics

Custom properties

1 star

0 watching

Report repository

Releases

Packages

Contributors