Lean 定理证明初探
☆43Mar 1, 2026Updated 2 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:
- Lean 形式化数学☆18Dec 20, 2025Updated 4 months ago
- Training camp at HKUST-GZ, about numeric methods in Physics☆18Jul 13, 2024Updated last year
- MPI/CUDA supported tensor network library for large scale calculation on strongly-correlated electron systems☆13Apr 28, 2026Updated last week
- CS294/194-196 Large Language Model Agents☆17Feb 28, 2025Updated last year
- 本代码是用来重复Vortex pinning by the point potential in topological superconductors:A scheme for braiding Majorana bound states论文中关于Majorana费米子在…☆14Nov 7, 2024Updated last year
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- A community-maintained package to easily install Arduino IDE on Linux☆11Dec 8, 2022Updated 3 years ago
- ☆27Updated this week
- Variational Monte-Carlo updated PEPS☆26Apr 27, 2026Updated last week
- Lean4中文教程☆36Feb 2, 2025Updated last year
- SuperDetectorPy is a program for simulating superconducting single-photon detectors.☆17Jun 22, 2022Updated 3 years ago
- 美赛爬虫，2022美赛获奖证书爬虫，2023美赛获奖证书爬虫，2024美赛获奖证书爬虫☆49May 26, 2024Updated last year
- ☆44Aug 3, 2025Updated 9 months ago
- Instructions to install siesta with gnu compilers and openmpi☆17Jun 24, 2021Updated 4 years ago
- ☆36Jan 10, 2025Updated last year
- 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.
- A finite element method code for student training used in the course of "Finite Element Method" delivered by Professor Xiong Zhang☆22Feb 4, 2015Updated 11 years ago
- Converter utility to convert APC PE0 files to OpenVSP BEM format☆29Oct 4, 2022Updated 3 years ago
- Zotero WPS 插件☆34Feb 19, 2023Updated 3 years ago
- 这是本人考研数学三笔记☆31Jan 6, 2023Updated 3 years ago
- Homepage of the Lean-zh website.☆58Apr 8, 2026Updated 3 weeks ago
- Introduction to Modular Forms: A Chinese textbook about modular forms☆81Mar 26, 2026Updated last month
- A set of iPython Notebooks to illustrate how some Quantum Monte Carlo algorithms work☆37Aug 13, 2014Updated 11 years ago
- My solutions to NJU Static Program Analysis assignments: https://tai-e.pascal-lab.net/en/intro/overview.html☆55Oct 1, 2022Updated 3 years ago
- My lecture notes and slides☆46Apr 1, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- 华中科技大学2020级数据库（opengauss版）educoder☆48Mar 14, 2023Updated 3 years ago
- Notes for Group Theory for Phycisist in a Nutshell by A Zee.☆49Nov 27, 2023Updated 2 years ago
- Using Luxor.jl to design common diagrams found in Category Theory 🐱☆13Mar 26, 2022Updated 4 years ago
- Repository for (for now) filing bug reports about PLAI.☆15Jul 5, 2025Updated 10 months ago
- A lightweight tunnel proxy, just a toy☆10Apr 6, 2015Updated 11 years ago
- Android点赞+1效果，支持文本和图像☆10Jun 20, 2016Updated 9 years ago
- Package for performing DQMC simulations of Hubbard and Electron-Phonon Models☆53Apr 29, 2026Updated last week
- Scheme implementation written in Rust☆35Jan 22, 2015Updated 11 years ago
- A toy compiler made with LLVM☆16Aug 30, 2024Updated last year
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- LLVM Essentials 中文版☆12Feb 18, 2025Updated last year
- My own Rust implementation of Mal (Make a Lisp)☆14Jul 25, 2019Updated 6 years ago
- 现代编程思想公开课课后练习☆10Jul 4, 2024Updated last year
- 个人网站go语言实现（使用gin框架）☆13Feb 20, 2019Updated 7 years ago
- This is a simple stack virtual machine to be a translation target for toy languages.☆12Sep 18, 2020Updated 5 years ago
- NixOS 中文社区官网☆70Apr 28, 2026Updated last week
- Scheme in Rust☆15Dec 10, 2021Updated 4 years ago