Go to Qiita Advent Calendar Top
search
search
Search
Login
Signup
search
Trend
Stock List
Question
Advent Calendar
Official Event
Qiita Zine
open_in_new
Organization
Qiita Careers
open_in_new
AI x Dev x Team
open_in_new
lean4
rss_feed
106
posts
15
followers
Follow Articles
Follow Questions
Login and follow tags to see the latest information.
trending_up
Trend
Like ranking last week
@iroha1203
(Hiroyuki Nakahata)
2026-08-08
【Atlas定理】反証4回・Lean 13,000行の末に掴んだ解像度不変性定理
@kyamaz
2026-09-13
『Lean で証明できた』は何を保証するのか？ 〜 Lean の無矛盾性と信頼の根拠 〜
description
Contents related to lean4
Articles
Questions
Stock Lists
User Rankings
Weekly
Monthly
Yearly
Organizations Ranking
Monthly
All
