为lean4 Provider和编程语言绑定到libclipo!
Bindings to libclingo for the lean4 prover and programming language! (2024-05-01, C, 0KB, 下载0次)
Michael leans c编程
Michael leans c programming (2023-12-29, C, 0KB, 下载0次)
创建Repo以精益基本C编程。,
Repo is created to lean basic C programming., (2023-10-17, C, 0KB, 下载0次)
精益4的套接字编程的玩具实现。,
A toy implementation of socket programming for Lean 4., (2023-02-23, C, 0KB, 下载0次)