Lean 定理证明初探
☆48Mar 1, 2026Updated 7 months ago
Alternatives and similar repositories for GlimpseOfLean
Users that are interested in GlimpseOfLean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- 教材自学讲义神器☆30Aug 18, 2026Updated 2 months ago
- 中国古文化整理☆15Aug 29, 2023Updated 3 years ago
- The Lean version manager☆659Oct 10, 2026Updated last week
- Run lean4 directly in your browser ( https://lean.cau.li )☆19Sep 10, 2026Updated last month
- Variational Monte-Carlo updated PEPS☆28May 10, 2026Updated 5 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Julia package for numerics (ED and DMRG) on the fuzzy sphere☆22Oct 4, 2026Updated 2 weeks ago
- TL;DR: We propose a large-scale cross-domain persuasion dataset covers 13,000 scenarios in 35 domains, with the developed PersuGPT model …☆17Feb 12, 2025Updated last year
- 逻辑验证漫游指南☆77Jul 18, 2026Updated 3 months ago
- An inequality benchmark for theorem proving☆22Feb 1, 2026Updated 8 months ago
- ☆19Jan 20, 2025Updated last year
- ☆18Oct 27, 2024Updated last year
- A static analysis tool for Lean 4.☆133Jun 22, 2026Updated 4 months ago
- A highlight.js language grammar for the Lean theorem proving language.☆13Oct 7, 2026Updated 2 weeks ago
- Notes for Group Theory for Phycisist in a Nutshell by A Zee.☆51Nov 27, 2023Updated 2 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- 陶哲轩实分析（第三版）习题解答☆30Jul 13, 2025Updated last year
- draw and math in vscode☆11Feb 24, 2023Updated 3 years ago
- ☆16Mar 14, 2024Updated 2 years ago
- A python wrapper for doing ED calculations on many-body systems☆30Dec 22, 2022Updated 3 years ago
- Distributed, objective-led control plane for Lean 4 formalization projects.☆36Oct 9, 2026Updated last week
- LaTeX 2 Word XML☆58Oct 13, 2026Updated last week
- Homepage of the Lean-zh website.☆61Aug 13, 2026Updated 2 months ago
- 一款专为学校、教师及学生打造的综合性地理教学软件☆24Updated this week
- Human-controlled roadmaps for Tau Ceti, an AIs-welcome Lean library downstream of Mathlib.☆37Updated this week
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- 本代码是用来重复Vortex pinning by the point potential in topological superconductors:A scheme for braiding Majorana bound states论文中关于Majorana费米子在…☆14Nov 7, 2024Updated last year
- Lecture Notes for HKUST MATH2131☆34Sep 29, 2026Updated 3 weeks ago
- TikZ and Data visualization into LaTeX (Mathematics)☆16Nov 11, 2025Updated 11 months ago
- All your variable are belong to us☆18Aug 31, 2026Updated last month
- ☆17Aug 11, 2026Updated 2 months ago
- A pipeline for the automatic construction of geometry problems along with step-by-step solutions.☆18Aug 27, 2025Updated last year
- Verified computational algebra in Lean 4: aggregator for the released hex libraries☆35Oct 15, 2026Updated last week
- ☆12Feb 2, 2024Updated 2 years ago
- A Node.js API for traversing the Test262 test suite☆13Apr 19, 2023Updated 3 years ago
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Draft for my book about implementing density functional theory☆20Mar 18, 2026Updated 7 months ago
- My Fedora VFIO/GPU Passthrough Guide☆13Jun 15, 2021Updated 5 years ago
- Performance comparison wasm canvas with html canvas☆13May 15, 2025Updated last year
- Python Script how to convert the PNG to RGB565 format☆18Oct 6, 2019Updated 7 years ago
- Action to delete containers from Github container registry☆12Mar 12, 2024Updated 2 years ago
- 依赖 Aide 的一款 Lua 编辑器☆49May 4, 2024Updated 2 years ago
- WebRequest Rules Extension☆12Dec 28, 2025Updated 9 months ago