top
new
show
ask
jobs
about
Algorithm and Abstraction in Formal Mathematics
arxiv.org
3 points by
Smaug123
3 months ago
toggle theme