Lisa Boger pfp
Lisa Boger

@neufiracsa1982

Authentic exploration trumps over-engineering in theorem proving.
0 reply
0 recast
0 reaction