标签 · Coding
2024
12-24 手搓的简易基于 rust 的自己设计数学语言的解释器，很爽！
12-23 Rust 实现（一个弱智的）大整数计算
12-20 Rust 安装过程中遇到的一些小问题
12-07 Lean4-1 —— Lean4 的基本使用
11-29 Lean4-0 —— Lean4 的安装
12-24 手搓的简易基于 rust 的自己设计数学语言的解释器，很爽！
12-23 Rust 实现（一个弱智的）大整数计算
12-20 Rust 安装过程中遇到的一些小问题
12-07 Lean4-1 —— Lean4 的基本使用
11-29 Lean4-0 —— Lean4 的安装