bankisan
@bankisan
Day 3 + 4 of learning lean. Abandoning the user manual to work through Mathematics in Lean (https://leanprover-community.github.io/mathematics_in_lean/index.html). Doing some trivial proofs in rings to get better with the syntax.
0 reply
0 recast
0 reaction
