Lean for Scientists and Engineers, course taught in Summer 2024
☆25Jan 6, 2025Updated last year
Alternatives and similar repositories for LFSE2024
Users that are interested in LFSE2024 are comparing it to the libraries listed below
Sorting:
- ☆16Mar 14, 2024Updated last year
- Lean4 Tutorial/Notes on creating FFI bindings with GLFW as an example.☆38Aug 25, 2025Updated 6 months ago
- ☆22Nov 23, 2023Updated 2 years ago
- Lennard Jones in Lean☆21Jul 14, 2025Updated 7 months ago
- ☆17Feb 10, 2026Updated 3 weeks ago
- MIRROR of https://codeberg.org/catseye/Philomath : An LCF-style theorem prover written in C89 (a.k.a ANSI C)☆16Dec 19, 2023Updated 2 years ago
- SQLite bindings for Lean☆35Feb 24, 2026Updated last week
- string diagrams for the working programmer☆14Jul 17, 2023Updated 2 years ago
- An experimental mutual induction tactic for Lean 4.☆23Jan 12, 2026Updated last month
- Learning Molecular Dynamics with LAMMPS☆16Jan 15, 2024Updated 2 years ago
- Framework for specifying and proving properties—such as robustness, fairness, and interpretability—of machine learning models using Lean …☆80Jul 30, 2025Updated 7 months ago
- A formally verified implementation of differential dynamic logic in Coq☆18May 16, 2022Updated 3 years ago
- Simply Typed Lambda Calculus with de Bruijn indices☆16Mar 20, 2025Updated 11 months ago
- Input script for Monte Carlo (GCMC) simulations☆20Sep 5, 2024Updated last year
- Formalising the WASM spec in Lean☆28Nov 14, 2025Updated 3 months ago
- CS410 "Advanced Functional Programming"☆30Feb 26, 2026Updated last week
- A (WIP) equality saturation tactic for Lean based on egg.☆78Updated this week
- A search engine for Lean 4 declarations☆52Feb 10, 2026Updated 3 weeks ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆27Jun 7, 2025Updated 8 months ago
- The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)☆68Mar 28, 2024Updated last year
- Formal Euclidean Geometry Course, Rutgers Math Corps☆98Jul 28, 2025Updated 7 months ago
- Write C shims from within Lean code.☆83Jul 13, 2025Updated 7 months ago
- ☆38Mar 12, 2024Updated last year
- C and C++ compiler frontend using PASTA to parse code, and VAST to represent the code as MLIR.☆43Aug 14, 2024Updated last year
- ☆43Jun 28, 2025Updated 8 months ago
- Easy SMT solver interaction☆34Feb 3, 2026Updated last month
- A Lean 4 library for configuring Command Line Interfaces and parsing command line arguments.☆98Updated this week
- Armv8 Native Code Symbolic Simulator in Lean☆96Nov 21, 2025Updated 3 months ago
- A blueprint for next-gen AI. Project Infinity uses a token-efficient, Codified Agent Protocol to create specialized, secure, and imaginat…☆25Oct 2, 2025Updated 5 months ago
- The Lean reference manual☆101Updated this week
- Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.☆39Feb 15, 2026Updated 2 weeks ago
- SymDiff-Differential-Program-Verifier☆38Aug 21, 2025Updated 6 months ago
- [NeurIPS'24] UDA: A Benchmark Suite for Retrieval Augmented Generation in Real-world Document Analysis☆42Feb 21, 2025Updated last year
- Natty is a natural-language proof assistant with an embedded automatic prover for higher-order logic. It is in an early stage of develop…☆38Feb 26, 2026Updated last week
- Natural language tactics to teach mathematics using Lean 4☆118Feb 11, 2026Updated 3 weeks ago
- A package to simplify integration of language models into Unity.☆16Oct 14, 2025Updated 4 months ago
- Addon for Blender to import and work with molecules and other atomic structures☆10Jun 27, 2019Updated 6 years ago
- Latex template for VNU-UET Student thesis in Vietnamese.☆13Mar 18, 2023Updated 2 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago