jbachurski / ein
Embedding Pointful Array Programming in Python
☆14Updated 4 months ago
Alternatives and similar repositories for ein:
Users that are interested in ein are comparing it to the libraries listed below
- Formalising Mathematics; a course for undergraduate mathematicians. Ran between January and March 2024.☆139Updated last month
- Scientific computing in Lean 4☆357Updated this week
- White-box automation for Lean 4☆222Updated this week
- A proof assistant for higher-dimensional type theory☆157Updated last month
- Experiments in automation for Lean☆86Updated this week
- Lean 4 kernel / 'external checker' written in Lean 4☆87Updated 2 months ago
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition☆50Updated 3 years ago
- Lean 4 tutorial files☆30Updated 8 months ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆123Updated this week
- LaTeX code for a paper on lean's type theory☆126Updated 2 years ago
- The agda-unimath library☆229Updated last week
- A monadic library for symbolic evaluation☆58Updated this week
- Natural language tactics to teach mathematics using Lean 4☆57Updated this week
- ☆59Updated last week
- ☆235Updated this week
- The "batteries included" extended library for the Lean programming language and theorem prover☆269Updated this week
- Formal proof of the Four Color Theorem [maintainer=@ybertot]☆182Updated 2 months ago
- Theorem Proving in Lean 4☆170Updated 3 months ago
- Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/Imp…☆119Updated 10 months ago
- Visual Studio Code extension for the Lean 4 proof assistant☆178Updated this week
- Tactics for discharging Lean goals into SMT solvers.☆158Updated this week
- Accelerated machine learning with dependent types☆84Updated this week
- Tools based on AI for helping with Lean 4☆68Updated this week
- Repository for formalization of the Polynomial Freiman Ruzsa conjecture (and related results)☆142Updated last month
- A (WIP) equality saturation tactic for Lean based on egg.☆51Updated this week
- MLB support for CM (the SML/NJ Compilation and Library Manager)☆18Updated last year
- repository for material for Jan-Mar 2023 course on formalising mathematics☆48Updated 11 months ago
- Logic and Mechanized Reasoning☆93Updated last week
- Overview of tactics in Lean 4 for beginners — longer version☆69Updated 4 months ago
- Lean theorem proving interface which feels like pen-and-paper proofs.☆378Updated this week