Lean 形式化数学
☆17Dec 20, 2025Updated 2 months ago
Alternatives and similar repositories for math-in-lean-zh
Users that are interested in math-in-lean-zh are comparing it to the libraries listed below
Sorting:
- Lean 函数式编程☆43Dec 17, 2025Updated 2 months ago
- General neural tactic for Lean 4☆26Updated this week
- Tool to analyse the import structure of lean projects.☆18Feb 24, 2026Updated last week
- [ICLR'25 Spotlight] Rethinking and improving autoformalization: towards a faithful metric and a Dependency Retrieval-based approach☆27May 20, 2025Updated 9 months ago
- Practical Foundations for Programming Languages 2nd. R.Harper. Chinese Translation.☆14Jul 6, 2018Updated 7 years ago
- Homepage of the Lean-zh website.☆54Updated this week
- Lean 定理证明初探☆31Updated this week
- Modern Compiler Implementation in ML, in Haskell☆22May 29, 2021Updated 4 years ago
- A category theory and functional programing library for Zig language☆70Nov 30, 2025Updated 3 months ago
- A static analysis tool for Lean 4.☆114Updated this week
- ☆13Dec 17, 2024Updated last year
- Learning problem-solving, logic/set, math, physics, economics through functional programming using Haskell☆19Oct 16, 2015Updated 10 years ago
- Lean 定理证明☆24Dec 28, 2025Updated 2 months ago
- Free ChatGPT API Key，免费ChatGPT API，支持GPT4 API，ChatGPT国内可用免费转发API，直连无需代理。☆13Aug 28, 2024Updated last year
- 十分钟魔法练习 in OCaml☆37Mar 31, 2022Updated 3 years ago
- Quantum Optimal Control☆10Updated this week
- Lean4中文教程☆35Feb 2, 2025Updated last year
- SIGPLAN website☆13Updated this week
- 2024秋《计算物理基础》课程作业代码与随笔☆13Dec 20, 2024Updated last year
- Matrix Product State algorithm for computing characters of the symmetric group S_n☆11Sep 26, 2025Updated 5 months ago
- control system for cold atoms experiments based on a commercial low-cost FPGA-SoC development board☆10Jul 17, 2025Updated 7 months ago
- LLVM Essentials 中文版☆12Feb 18, 2025Updated last year
- 东方project古明地觉的觉之瞳，目前已经可以实现陀螺仪跟踪，网页控制☆26Feb 6, 2026Updated last month
- A tutorial on simulating quantum circuits and quantum error correction with tensor networks☆20Sep 20, 2025Updated 5 months ago
- Coq集合论中文教程☆46Dec 17, 2021Updated 4 years ago
- Mathport is a tool for porting Lean3 projects to Lean4☆44Nov 21, 2024Updated last year
- 从Docker官方Ubuntu镜像，定制中国地区使用的对应镜像。☆13Jan 13, 2021Updated 5 years ago
- 现代编程思想公开课课后练习☆10Jul 4, 2024Updated last year
- physics meets neural networks☆13Jul 19, 2018Updated 7 years ago
- Sample codes for the PEPS excitation using generating function☆12Feb 16, 2026Updated 2 weeks ago
- DMRG-S algorithm for extracting quantum many-body scars☆10May 19, 2023Updated 2 years ago
- 个人网站go语言实现（使用gin框架）☆13Feb 20, 2019Updated 7 years ago
- A tiny C compiler based on LLVM and ANTLR4☆10Jan 13, 2019Updated 7 years ago
- JuliaCN 2022 archived demo repo: How Julia beats MATLAB's C codes by 1000x☆10May 25, 2023Updated 2 years ago
- Comparing Different Stochastic Gradien Descent implementations in Haskell against Python☆10Jul 25, 2016Updated 9 years ago
- ☆12Feb 9, 2026Updated 3 weeks ago
- Repository for the Control of Stochastic Quantum Dynamics with Differentiable Programming paper.☆16Feb 16, 2021Updated 5 years ago
- Asynchronous traffic simulation application using async-api☆16Jul 28, 2025Updated 7 months ago
- bddem is a SWI-Prolog pack for using Binary Decision Diagrams☆12Aug 30, 2025Updated 6 months ago