Retrieval-Augmented Theorem Provers for Lean
Visual Studio Code extension for the Lean 4 proof assistant
战略管理越扎实,理想生活越可达。配备这组「人生战略管理帮手」,一起有思路...
ChatGPT plugin for theorem proving in Lean
Use Github Actions to automatically compile Lean's Modified Lede source ...
https://bamtech.gitbooks.io/dev-standards/
SSR 科学上网软件
HoTT in Lean 3
Parameter Optimization for Lean Algorithms
OpenWrt Stable 1907 with lean's package
A model of the RISC Zero zkVM and ecosystem in the Lean 4 Theorem Prover
Formally verified implementation of Alive in Lean
Documentation website for Samelogic Platform, APIs, and SDKs
R7800 Build OpenWrt using GitHub Actions | 使用 GitHub Actions 云编译 R7...
Native Neural Network Inference in Lean