科赫4D高尔夫2D雪花发生器
Koch 2D snowflake generator for 4D Golf (2024-05-07, Lean, 0KB, 下载0次)
c0的参考编译器
Reference compiler for c0 (2023-11-11, Lean, 0KB, 下载0次)
用于解析和编译语法和解析器定义的Lean 4工具库。，
Lean 4 library of tools for parsing and compiling syntax and parser definitions., (2023-10-26, Lean, 0KB, 下载0次)
Lean 4构建系统和包管理器，配置文件用Lean.编写。，
Lean 4 build system and package manager with configuration files written in Lean., (2023-07-06, Lean, 0KB, 下载0次)