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

科技回声

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

GitHubTwitter

首页

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

资源链接

HackerNews API原版 HackerNewsNext.js

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

Proof of ((p ∨ q) → r) ↔ (p → r) ∧ (q → r) with Lean

4 点作者 dharmatech超过 5 年前

1 comment

greenyoda超过 5 年前
It looks like the "youtu.be" domain is banned on HN (probably because lots of spam uses it), and posts with that domain end up "[dead]". I "vouched" your post, so it's live now. To avoid problems in the future, please use the regular "youtube.com" domain when posting content from YouTube - that seems to work OK on HN.
评论 #21530538 未加载