きゅーけーLean 4 のチュートリアルとして Theorem Proving in Lean 4 を読んで練習問題を解いたりしているのだけど分かりやすい気がする。練習問題を解くのはパズルみたいで結構楽しい。
０７６萌ＳＮＳ is a social network, courtesy of ０７６. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.
All ０７６萌ＳＮＳ content and data are available under the Creative Commons Attribution 3.0 license.