TE
TechEcho
Home24h TopNewestBestAskShowJobs
GitHubTwitter
Home

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

GitHubTwitter

Home

HomeNewestBestAskShowJobs

Resources

HackerNews APIOriginal HackerNewsNext.js

© 2025 TechEcho. All rights reserved.

Mostly Automated Proof Repair for Verified Libraries [pdf]

33 pointsby ghuntleyalmost 2 years ago

1 comment

stauntonalmost 2 years ago
Sounds like a pretty nice achievement.<p>On another note, I&#x27;m increasingly amazed how researchers seem to persist in using ugly PDFs to publish their work. I cam understand e.g. biologists doing it, but when CS folks who should know alternatives do it, I&#x27;m evermore baffled, especially given the awkwardness of using e.g. LaTeX.
评论 #36443686 未加载
评论 #36443670 未加载