View the Qiita 15th anniversary article
search
LoginSignup
search
  1. Trend
  2. Stock List
  3. Question
  4. Qiita Conference
  5. Official Event
  6. Qiita Zineopen_in_new
  7. Organization
  8. Qiita Careersopen_in_new
  9. AI x Dev x Teamopen_in_new
【Dedukti入門 ②】Lean 4 の型理論も HOL Light の高階論理も、なぜ同じ言語で書けるのか ── Dedukti の言語 λΠ計算 modulo rewriting を実物のコードで読むlikers

No likers

How developers code is here.

Qiita Conference 2026 Autumn will be held!: 10/27(Tue) - 10/29(Thu)
© 2011-2026Qiita Inc.

Guide & Help

  • About
  • Terms
  • Privacy
  • Guideline
  • Media Kit
  • Feedback/Requests
  • Help
  • Advertisement

Contents

  • Release Note
  • Official Event
  • Advent Calendar
  • Qiita Tech Festa
  • Qiita Award
  • Engineer White Paper
  • API

Official Accounts

  • @Qiita
  • @qiita_milestone
  • @qiitapoi
  • Facebook
  • YouTube
  • Podcast

Our service

  • Qiita Team
  • Qiita Zine
  • Official Shop

Company

  • About Us
  • Careers
  • Qiita Blog
  • News Release