learning lean, theorem prover | test stream, adjusting sound

Iceman1415

7yrs

7
0
0
share-solid Share Copied Error copying!
Find more clips

Iceman1415's popular clips

failing to build tree w/ DMCA

apprenticeCLY

7

5yrs