☆18Feb 4, 2025Updated last year
Alternatives and similar repositories for Lean-First-Steps
Users that are interested in Lean-First-Steps are comparing it to the libraries listed below
Sorting:
- Data Structures and Algorithms Demos☆13Apr 27, 2020Updated 5 years ago
- The Org-Coursepack provides a template for developing and managing teaching materials using Org mode, a major mode in GNU Emacs.☆25Mar 2, 2020Updated 6 years ago
- ☆10Jan 19, 2019Updated 7 years ago
- A mutation testing tool designed to work with large C++ (and C) codebases.☆13Oct 28, 2025Updated 4 months ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- jcjc-dev.com blog☆13Jul 29, 2024Updated last year
- Minimal light Logseq theme with bold typography and cyrillic font support.☆11Nov 19, 2023Updated 2 years ago
- Scudo useful files☆10Jul 3, 2022Updated 3 years ago
- Introduction to MLIR and xDSL training course☆19Oct 2, 2023Updated 2 years ago
- math puzzles from various sources, formalized in Lean☆10Oct 21, 2023Updated 2 years ago
- PDF Analyzer and Render Comparer☆11May 6, 2022Updated 3 years ago
- FOMU keystroke injector☆12Aug 7, 2023Updated 2 years ago
- Integration of Clinical Embeddings with Neural ODEs☆12Jan 6, 2025Updated last year
- ☆11Apr 14, 2022Updated 3 years ago
- DONUT: Database of Original and Non-Theoretical Applications of Topology☆17Feb 3, 2026Updated last month
- Formalization of Linear Logic☆11Jun 25, 2017Updated 8 years ago
- Tableau for basic modal logic in Lean 3 - This is OLD and not maintained. See https://github.com/m4lvin/lean4-pdl instead.☆13Oct 24, 2023Updated 2 years ago
- Python 3 alternative command line interface for AWS Route 53; enables simple record management and dynamic DNS☆11Feb 27, 2026Updated last week
- A book about datalog☆12Nov 26, 2022Updated 3 years ago
- Library for the Zotero API☆15Jan 15, 2024Updated 2 years ago
- ☆16Nov 12, 2025Updated 3 months ago
- Source code for 'Beginning F# 4.0' by Robert Pickering and Kit Eason☆11Mar 28, 2017Updated 8 years ago
- ☆10Jun 13, 2022Updated 3 years ago
- CascadER: Cross-Modal Cascading for Knowledge Graph Link Prediction (arXiv 22)☆13Jun 17, 2022Updated 3 years ago
- ☆12Mar 4, 2025Updated last year
- One Big Text File (OBTF) Journal in Markdown☆15Jan 17, 2026Updated last month
- ☆10Mar 26, 2024Updated last year
- Utility to inject Org Mode source blocks from a URI at point☆14May 24, 2023Updated 2 years ago
- A Journey in Creating an Operating System Kernel: A book that teaches the reader how to create an operating system's kernel called 539ker…☆12Dec 26, 2022Updated 3 years ago
- Formalize "Logic Notes" by Lou van den Dries in Lean☆12May 31, 2025Updated 9 months ago
- ☆20Feb 27, 2023Updated 3 years ago
- IRC bot for announcing commits pushed to a git repository☆21Jan 4, 2016Updated 10 years ago
- Repository for Deterministic Particle Flow Control framework☆10Nov 13, 2022Updated 3 years ago
- Experimental MLIR based points-to analysis tool☆17Jan 21, 2026Updated last month
- Grand Unified Discontinuous Galerkin Environment? A DG code in training.☆15Feb 21, 2026Updated last week
- A compilation of BQN solutions to various coding challenges.☆12Updated this week
- Your go-to resource for all things Smart Contract Security. Featuring guidelines, best practices, and in-depth articles. Sections include…☆21Oct 31, 2023Updated 2 years ago
- A helper to save me some keystrokes from nix-prefetch-git.☆13Apr 8, 2019Updated 6 years ago
- A tutorial for using Emacs with Haskell projects☆42Jan 3, 2022Updated 4 years ago