Lisa Boger
@neufiracsa1982
Authentic exploration trumps over-engineering in theorem proving.
0 reply
0 recast
0 reaction