Repo for the Lean code from the video "Is This the End of Handwritten Math? Introducing Lean"
☆14Nov 1, 2025Updated last year
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:
- slightly better than the forge you're using☆12Updated this week
- Focused research repository on Grothendieck rank-p^2 finite flat group-scheme conjecture☆14Aug 4, 2026Updated 3 months ago
- Learn about PTX instructions ldmatrix and stmatrix☆12Sep 5, 2025Updated last year
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated last month
- OTLP wire format utilities for Go - zero-allocation counting, sharding, and routing for high-throughput telemetry pipelines☆17Updated 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.
- Interactive notebook introducing the matrix exponential and matrix Lie groups, from the Quantum Formalism lecture series.☆12Apr 17, 2025Updated last year
- ☆35Oct 1, 2024Updated 2 years ago
- Dumps the ROM (and optionally RAM) from the official casio calculator emulators☆13Oct 29, 2023Updated 3 years ago
- raylib bindings for CHICKEN Scheme! (the raylib egg)☆16Updated this week
- Datos en masa scrapeados de buscacursos y catalogo UC disponibles para descargar.☆12Dec 30, 2023Updated 2 years ago
- 【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
- Simple, terminal-based bookmarks☆21Nov 10, 2025Updated last year
- Formalising lecture notes from 1st year Imperial Mathematics course.☆15May 18, 2020Updated 6 years ago
- Libroo is a personal library tracker built to help you manage your books, collections, and track who borrowed what.☆12Updated this week
- 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.
- Experimental library for 3d operations with TikZ☆15Sep 21, 2023Updated 3 years ago
- ☆11Dec 1, 2021Updated 4 years ago
- 👀 Interest: Organizing papers+materials which you are interested in. Serverless application powered by GitHub pages + Google Spreadshee…☆16Jan 7, 2023Updated 3 years ago
- 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
- On the Quartic Invariant of Odd Degree Binary Forms — paper, Lean formalization, and computational verification☆18Apr 16, 2026Updated 6 months ago
- Jupyter notebooks for my AI Engineer Roadmap course☆13Aug 3, 2026Updated 3 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 5 months ago
- Experiments with Two-sided Gaussian tests for BH☆21Jul 13, 2026Updated 4 months ago
- Material do Livro "Computadores E Videogames"☆16May 8, 2026Updated 6 months ago
- 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.
- Obsidian-to-wikijs is an obsidian plugin that enables sending Obsidian notes to your Wikijs instance.☆18Dec 13, 2025Updated 11 months ago
- ☆19Oct 3, 2022Updated 4 years ago
- A tool to get data from Aurora ATC Client and print a flightstrip☆12Mar 7, 2025Updated last year
- AIRAC Updater (international support)☆11Aug 22, 2025Updated last year
- ☆13Jun 22, 2025Updated last year
- Create infinite grid in Android in the simplest way possible.☆17Aug 16, 2020Updated 6 years ago
- stars simulator using three.js I coded because I am bored☆12Feb 20, 2022Updated 4 years ago
- ☆23Aug 17, 2026Updated 2 months ago
- for inputting mathematic symbols.☆16Feb 26, 2015Updated 11 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- SYCL accelerated BLAKE3 Hash Implementation☆18Jan 22, 2022Updated 4 years ago
- Toy programming language☆20May 18, 2024Updated 2 years ago
- Observational Astronomy notes for IOAA/Olympiad preparation.☆20Sep 18, 2026Updated last month
- ARINC-424 C++ Decoders, Librairies, and Utilities☆13Jan 18, 2021Updated 5 years ago
- Example of Rust API for Machine Learning☆19Sep 11, 2021Updated 5 years ago
- STIG FireFox the Easy Way☆15Jul 26, 2024Updated 2 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
Are these results useful?