jackson polack
I want to play around with proof assistants, currently thinking Lean. Should I start with something else?
Ṁ0
bounty
No bounty left