Lean 定理证明初探
☆43Mar 1, 2026Updated 3 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 5 months ago
- Julia package for numerics (ED and DMRG) on the fuzzy sphere☆22Apr 30, 2026Updated last month
- A pipeline for the automatic construction of geometry problems along with step-by-step solutions.☆17Aug 27, 2025Updated 9 months ago
- 本代码是用来重复Vortex pinning by the point potential in topological superconductors:A scheme for braiding Majorana bound states论文中关于Majorana费米子在…☆14Nov 7, 2024Updated last year
- A community-maintained package to easily install Arduino IDE on Linux☆11Dec 8, 2022Updated 3 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆26Updated this week
- 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 3 months ago
- All your variable are belong to us☆18May 25, 2024Updated 2 years ago
- SLPs for the ToSC Volume 2017 Issue 4 paper 'Shorter Linear Straight-Line Programs for MDS Matrices'☆21Oct 16, 2021Updated 4 years ago
- Coil gun simulation to aid in coil gun design☆16Aug 20, 2021Updated 4 years ago
- Diffusion Monte Carlo method☆12Nov 2, 2018Updated 7 years ago
- Jupyter notebooks for Solid State Physics courses at EPFL☆21Dec 4, 2022Updated 3 years ago
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ♯SHAARP is an open-source package for deriving and simulating optical second harmonic generation (SHG) from a single interface (si). Thi…☆25Jun 16, 2025Updated last year
- ☆16May 22, 2023Updated 3 years ago
- Instructions to install siesta with gnu compilers and openmpi☆17Jun 24, 2021Updated 4 years ago
- [ACM EuroSys'24] Dordis: Efficient Federated Learning with Dropout-Resilient Differential Privacy☆24Apr 28, 2025Updated last year
- Toolbox for Green's functions on Matsubara grids☆23Dec 4, 2025Updated 6 months ago
- Curated roadmap & resource hub for Machine Learning Theory ― structured learning paths, course outlines, and distilled notes to help rese…☆43Mar 12, 2026Updated 3 months ago
- Display PyData files (.npz .npy .pkl .pth) in VSCode.☆36Mar 18, 2026Updated 2 months ago
- Real-time TDDFT for Quantum-Espresso☆26Jun 22, 2023Updated 2 years ago
- Converter utility to convert APC PE0 files to OpenVSP BEM format☆30Oct 4, 2022Updated 3 years ago
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- [ICLR'25] Geometric Problem Solving Through Unified Formalized Vision-Language Pre-training☆49Jan 25, 2025Updated last year
- Robotics platform for universal robots that can walk, drive, climb and join bodies to form even bigger robots.☆40Dec 24, 2023Updated 2 years ago
- 这是本人考研数学三笔记☆31Jan 6, 2023Updated 3 years ago
- Rust-based Scheme Compiler, written in the Nanopass style☆12Jun 12, 2018Updated 8 years ago
- Homepage of the Lean-zh website.☆58Apr 8, 2026Updated 2 months ago
- Introduction to Modular Forms: A Chinese textbook about modular forms☆82Updated this week
- An efficient Julia framework for Hierarchical Equations of Motion (HEOM) in open quantum systems☆48Jun 6, 2026Updated last week
- Collection of tutorials for SU2☆53May 14, 2026Updated last month
- My lecture notes and slides☆46Apr 1, 2026Updated 2 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 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
- Notes for Group Theory for Phycisist in a Nutshell by A Zee.☆49Nov 27, 2023Updated 2 years ago
- Write yourself a simply-typed lambda calculus using Rust in a week!☆13May 13, 2024Updated 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 11 months ago
- Android点赞+1效果，支持文本和图像☆10Jun 20, 2016Updated 9 years ago
- Scheme implementation written in Rust☆35Jan 22, 2015Updated 11 years ago