Discussions

• 1 You must be logged in to vote

  ✉️

  定理証明支援系 Advent Calendar 2023

  iehality started Nov 12, 2023 in Announce Event

  

  

  1
• 1 You must be logged in to vote

  🙏

  🔰Lean4でスタンダードライブラリを無効化する方法はありますか？

  LumaKernel asked Nov 7, 2023 in Q&A · Closed · Answered

  

  

  4
• 2 You must be logged in to vote

  ✉️

  輪読会[MIL和訳]

  s-taiga started Sep 23, 2023 in Announce Event

  

  

  

  

  16
• 2 You must be logged in to vote

  🙌

  「Functional Programming in Lean」の日本語訳を始めました

  Seasawher started Sep 11, 2023 in 進捗報告

  

  

  

  

  9
• 1 You must be logged in to vote

  🙏

  gcd 関数の停止証明

  Seasawher asked Oct 8, 2023 in Q&A · Closed · Unanswered

  

  

  1
• 1 You must be logged in to vote

  💡

  Software Fundations を Lean4 で書き直す

  Seasawher started Sep 14, 2023 in アイデア · Closed

  

  

  3
• 1 You must be logged in to vote

  

  GitHubを活用した輪読会開催法

  Seasawher started Sep 7, 2023 in GitHub運用 · Closed

  

  

  

  

  41
• 1 You must be logged in to vote

  ✉️

  Dependabot を有効にしました

  Seasawher started Sep 22, 2023 in Announce Event · Closed

  

  

  0
• 1 You must be logged in to vote

  ✉️

  Private vulnerability reporting を有効にしました

  Seasawher started Sep 22, 2023 in Announce Event · Closed

  

  

  0
• 1 You must be logged in to vote

  💡

  よく使われるタクティクのリストを作る

  Seasawher started Sep 12, 2023 in アイデア · Closed

  

  

  

  

  28
• 1 You must be logged in to vote

  💬

  Lean Unicode ブラウザ拡張機能

  Seasawher started Sep 11, 2023 in 一般 · Closed

  

  

  4
• 1 You must be logged in to vote

  💡

  勉強会解説動画

  Seasawher started Sep 14, 2023 in アイデア · Closed

  

  

  6
• 1 You must be logged in to vote

  ✉️

  団体Webサイトをリリースしました

  Seasawher started Sep 12, 2023 in Announce Event · Closed

  

  

  

  

  21
• 1 You must be logged in to vote

  

  Organization のWebサイトについて

  Seasawher started Sep 4, 2023 in GitHub運用 · Closed

  

  

  

  

  20
• 1 You must be logged in to vote

  🙏

  conv の中で apply でターゲットを書き換える

  Seasawher asked Sep 8, 2023 in Q&A · Closed · Answered

  

  

  

  

  7
• 1 You must be logged in to vote

  💬

  News: Leaninfer リリース

  Seasawher started Sep 10, 2023 in 一般

  

  

  2
• 0 You must be logged in to vote

  ✉️

  Dependency graph 有効化

  Seasawher started Sep 11, 2023 in Announce Event · Closed

  

  

  1
• 2 You must be logged in to vote

  💬

  Codewars にリクエストを出しました

  Seasawher started Sep 11, 2023 in 一般

  

  

  0
• 2 You must be logged in to vote

  🙌

  「数学系のためのLean勉強会」の教材を解いた

  haruhisa-enomoto started Sep 9, 2023 in 進捗報告

  

  

  

  

  4
• 

  Discussion 機能の使い方

  Seasawher started Sep 10, 2023 in GitHub運用

  

  

  0
• 1 You must be logged in to vote

  ✉️

  ２要素認証有効化のお願い

  Seasawher started Sep 10, 2023 in Announce Event · Closed

  

  

  0
• 1 You must be logged in to vote

  ✉️

  リポジトリ削除権限変更のお知らせ

  Seasawher started Sep 10, 2023 in Announce Event · Closed

  

  

  0
• 1 You must be logged in to vote

  ✉️

  プロジェクト可視性変更許可のお知らせ

  Seasawher started Sep 10, 2023 in Announce Event · Closed

  

  

  0
• 1 You must be logged in to vote

  

  お知らせ：リポジトリ削除権限変更

  Seasawher started Sep 10, 2023 in GitHub運用 · Closed

  

  

  0
• 1 You must be logged in to vote

  🙏

  suffices の挙動が意図と異なる

  Seasawher asked Sep 8, 2023 in Q&A · Closed · Answered

  

  

  3