Repo for the Lean code from the video "Is This the End of Handwritten Math? Introducing Lean"
☆14Nov 1, 2025Updated 11 months ago
Alternatives and similar repositories for LeanTutorial1
Users that are interested in LeanTutorial1 are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆22Aug 17, 2026Updated 2 months ago
- Dumps the ROM (and optionally RAM) from the official casio calculator emulators☆13Oct 29, 2023Updated 2 years ago
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated 2 weeks ago
- ☆12Jun 22, 2025Updated last year
- Learn about PTX instructions ldmatrix and stmatrix☆12Sep 5, 2025Updated last year
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- In this repository, the LANA Project has published its July 2026 report “Project LANA Interim Report on IUT Theory.”☆19Jul 20, 2026Updated 3 months ago
- Interactive notebook introducing the matrix exponential and matrix Lie groups, from the Quantum Formalism lecture series.☆12Apr 17, 2025Updated last year
- 【Making code with love - show some love back with a star! 💝⭐️】A modern, full-featured library management system built with Next.js 15 an…☆13Jun 16, 2026Updated 4 months ago
- Formalising lecture notes from 1st year Imperial Mathematics course.☆14May 18, 2020Updated 6 years ago
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆17Apr 16, 2026Updated 6 months ago
- Experiments with Two-sided Gaussian tests for BH☆21Jul 13, 2026Updated 3 months ago
- Non-linear extended fluid and hybrid fluid-kinetic code for simulations of transient events in magnetically confined fusion plasmas. Docu…☆62Updated this week
- Experimental library for 3d operations with TikZ☆15Sep 21, 2023Updated 3 years ago
- ☆10Dec 1, 2021Updated 4 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- 👀 Interest: Organizing papers+materials which you are interested in. Serverless application powered by GitHub pages + Google Spreadshee…☆16Jan 7, 2023Updated 3 years ago
- Local Codex log swear/frustration timeline audit☆34May 5, 2026Updated 5 months ago
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 4 months ago
- Material do Livro "Computadores E Videogames"☆16May 8, 2026Updated 5 months ago
- Create infinite grid in Android in the simplest way possible.☆16Aug 16, 2020Updated 6 years ago
- A tool to get data from Aurora ATC Client and print a flightstrip☆12Mar 7, 2025Updated last year
- for inputting mathematic symbols.☆16Feb 26, 2015Updated 11 years ago
- AIRAC Updater (international support)☆11Aug 22, 2025Updated last year
- Obsidian-to-wikijs is an obsidian plugin that enables sending Obsidian notes to your Wikijs instance.☆18Dec 13, 2025Updated 10 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.
- Automatic textbook formalization of Grinberg Algebraic Combinatorics☆28Apr 1, 2026Updated 6 months ago
- SYCL accelerated BLAKE3 Hash Implementation☆18Jan 22, 2022Updated 4 years ago
- Observational Astronomy notes for IOAA/Olympiad preparation.☆20Sep 18, 2026Updated last month
- stars simulator using three.js I coded because I am bored☆12Feb 20, 2022Updated 4 years ago
- Java spatial indexing tools☆22Oct 17, 2026Updated last week
- Toy programming language☆20May 18, 2024Updated 2 years ago
- ☆22Jan 1, 2023Updated 3 years ago
- ☆21Jul 20, 2022Updated 4 years ago
- WILL™ SDK for ink supports a variety of input technologies and generates the highest quality, most attractive digital ink outputs via the…☆18Jul 2, 2024Updated 2 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.
- A repo for knowledge tracing implementation by PyTorch☆28Nov 5, 2021Updated 4 years ago
- Example of Rust API for Machine Learning☆19Sep 11, 2021Updated 5 years ago
- ARINC-424 C++ Decoders, Librairies, and Utilities☆13Jan 18, 2021Updated 5 years ago
- ☆21Sep 19, 2026Updated last month
- Adaptation of discriminative learning rates from the Fastai library for standard PyTorch.☆18Oct 31, 2019Updated 6 years ago
- This is the CoCalc Electron desktop application.☆19Sep 30, 2022Updated 4 years ago
- Python scripts to make beautiful deepsky finder charts and maps in various image formats.☆22Updated this week