bankisan
@bankisan
Day 2 of learning Lean. Proofs are becoming fun again
1 reply
0 recast
2 reactions
bankisan
@bankisan
The cool part of using code to prove is that copilot helps gives suggestions as well. Where was this during my undergrad??
0 reply
0 recast
1 reaction
