Lean 定理证明初探
☆43Mar 1, 2026Updated 4 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 6 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☆13Jun 24, 2026Updated last week
- ☆17Dec 17, 2024Updated 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 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 community-maintained package to easily install Arduino IDE on Linux☆11Dec 8, 2022Updated 3 years ago
- ☆26Jun 23, 2026Updated last week
- Variational Monte-Carlo updated PEPS☆27May 10, 2026Updated last month
- Lean4中文教程☆37Feb 2, 2025Updated last year
- 2025开源操作系统训练营☆84Mar 16, 2025Updated last year
- Interactive TikZ graph generator for creating and customizing complex diagrams with nodes, edges, and text. Features include multi-graph …☆24Feb 16, 2026Updated 4 months ago
- ☆16Mar 14, 2024Updated 2 years ago
- Accurate and fast tight-binding calculations, using pre-fit coefficients and three-body terms.☆36Jun 9, 2026Updated 3 weeks ago
- Toolbox for Green's functions on Matsubara grids☆23Dec 4, 2025Updated 7 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- 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
- 对 Kotlin 的全面介绍，面向具有Python或其他动态语言背景的开发人员。☆28Sep 26, 2021Updated 4 years ago
- Curated roadmap & resource hub for Machine Learning Theory ― structured learning paths, course outlines, and distilled notes to help rese…☆44Mar 12, 2026Updated 3 months ago
- 天涯神贴2024最新整理核心300+篇，去重 去水印高清 文字版，无需解压☆82Oct 13, 2024Updated last year
- Converter utility to convert APC PE0 files to OpenVSP BEM format☆30Oct 4, 2022Updated 3 years ago
- Zotero WPS 插件☆34Feb 19, 2023Updated 3 years ago
- Robotics platform for universal robots that can walk, drive, climb and join bodies to form even bigger robots.☆59Dec 24, 2023Updated 2 years ago
- 这是本人考研数学三笔记☆31Jan 6, 2023Updated 3 years ago
- PROFOIL for inverse airfoil design☆45Oct 6, 2024Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Rust-based Scheme Compiler, written in the Nanopass style☆11Jun 12, 2018Updated 8 years ago
- Homepage of the Lean-zh website.☆59Jun 18, 2026Updated 2 weeks ago
- Introduction to Modular Forms: A Chinese textbook about modular forms☆82Jun 9, 2026Updated 3 weeks ago
- A set of iPython Notebooks to illustrate how some Quantum Monte Carlo algorithms work☆37Aug 13, 2014Updated 11 years ago
- Collection of tutorials for SU2☆53May 14, 2026Updated last month
- My lecture notes and slides☆46Jun 28, 2026Updated last week
- A toy http server written in C using libdill coroutines. Will probably get you owned if you run in prod.☆11May 16, 2017Updated 9 years ago
- Using Luxor.jl to design common diagrams found in Category Theory 🐱☆12Mar 26, 2022Updated 4 years ago
- Repository for (for now) filing bug reports about PLAI.☆16Jul 5, 2025Updated 11 months ago
- 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.
- A lightweight tunnel proxy, just a toy☆10Apr 6, 2015Updated 11 years ago
- Android点赞+1效果，支持文本和图像☆10Jun 20, 2016Updated 10 years ago
- A C++ FEM code sharing the same input data file with STAP90☆56Apr 6, 2023Updated 3 years ago
- Yanqi Lake Lectures on Algebra, Part III☆59Jun 10, 2026Updated 3 weeks ago
- Scheme implementation written in Rust☆35Jan 22, 2015Updated 11 years ago
- LLVM Essentials 中文版☆12Feb 18, 2025Updated last year
- Work for Crafting a Compiler by Fischer, Cytron & LeBlanc.☆11Dec 1, 2019Updated 6 years ago