yuma-mizuno/lean-math-workshop

Issues

• Lean と Mathlib を v4.8.0 に更新する

  #38 opened 6 months ago by Seasawher
  0

• add description to "About"

  #35 opened 8 months ago by Seasawher
  0

• update Lean version to `v4.6.0`

  #32 opened 9 months ago by Seasawher
  0

• delete `solution` branch

  #34 opened 9 months ago by Seasawher
  0

• mk-exercise を使用していることに言及する

  #30 opened 10 months ago by Seasawher
  0

• fork したとき、自動で進捗が上書きされてしまう

  #28 opened a year ago by Seasawher
  0

• CIが表面的に失敗する

  #26 opened a year ago by Seasawher
  0

• Advanced の解答も作成する

  #18 opened a year ago by Seasawher
  0

• Lean のバージョンを最新の安定版に上げる

  #16 opened a year ago by Seasawher
  0

• CI ワークフローを追加する

  #17 opened a year ago by Seasawher
  0

• コード中の末尾の空白を削除する

  #20 opened a year ago by Seasawher
  1

• rcases がエラーになる

  #14 opened a year ago by Seasawher
  1

• `suffices ... by` の代わりに `suffices ... from by` を使用する

  #13 opened a year ago by Seasawher
  0