Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Thursday, 16-Jan-2025 21:38:02 JST きゅーけー

   Lean が面白いぞというメールが届き気になってる。とりあえずインストールだけしてみようと思う。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 17-Jan-2025 00:16:29 JST きゅーけー

     in reply to

     つらそうなパターンっぽくてつらい。バイナリを入れる Guix のパッケージ定義を書く方法学ぶか。。。
     https://github.com/leanprover/lean4/issues/6392