TE
科技回声
首页24小时热榜最新最佳问答展示工作
GitHubTwitter
首页

科技回声

基于 Next.js 构建的科技新闻平台,提供全球科技新闻和讨论内容。

GitHubTwitter

首页

首页最新最佳问答展示工作

资源链接

HackerNews API原版 HackerNewsNext.js

© 2025 科技回声. 版权所有。

Literate Theorem Proving with Org (and Proof General)

8 点作者 chameco将近 7 年前

1 comment

znpy将近 7 年前
I really like the typographical choices here, the website really looks like printed paper and it&#x27;s a joy to read.<p>Sadly, the displaying does not fit mobile screens correctly and I have to scroll back and forth on the horizontal axis... @chameco, cyou should fix it imho: the design of the webpage is otherwise really really good!