A Lean4 plugin for the Intellij Platform
☆20Feb 27, 2026Updated this week
Alternatives and similar repositories for lean4ij
Users that are interested in lean4ij are comparing it to the libraries listed below
Sorting:
- ☆13Sep 29, 2025Updated 5 months ago
- Cryptographic routines for the Lean 4 language☆52Sep 9, 2024Updated last year
- GitHub action for standard CI in Lean projects☆31Jan 15, 2026Updated last month
- Logical Relation for MLTT in Coq☆30Jan 14, 2026Updated last month
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆29Jun 27, 2024Updated last year
- WIP collections library for Lean 4☆32May 8, 2025Updated 9 months ago
- The repository for HKU ENGG1340 Group Project (24/25 Semester 2).☆10Jun 22, 2025Updated 8 months ago
- Building the linear algebra game!☆10Dec 2, 2024Updated last year
- ☆12Feb 18, 2024Updated 2 years ago
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆108Updated this week
- An SBT Plugin that acts as a light wrapper around Buf.☆10Oct 29, 2024Updated last year
- W-Reader 是一款专为 JetBrains 系列 IDE（如 IntelliJ IDEA、PyCharm、WebStorm、RustRover 等）打造的轻量级小说阅读插件。它将阅读体验无缝融入开发环境，在不离开编码上下文的前提下，让你轻松享受小说阅读的乐趣。☆17Feb 11, 2026Updated 3 weeks ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- The frontend of ZVMS 4, powered by Element-plus, Vite, and Vue.☆11Feb 11, 2026Updated 3 weeks ago
- libtelnet-esque parser for rust.☆12Dec 1, 2023Updated 2 years ago
- ☆11Aug 23, 2023Updated 2 years ago
- Coq/Rocq practice session @ Lean For The Curious Mathematicians 2024☆13Mar 28, 2024Updated last year
- A static analysis tool for Lean 4.☆114Updated this week
- Implementation of Pie, following The Little Typer☆19Updated this week
- ☆10May 23, 2019Updated 6 years ago
- Mechanized baselines for various type system features☆18Feb 25, 2026Updated last week
- ☆10Oct 26, 2023Updated 2 years ago
- linear algebra done right in coq☆11Apr 6, 2021Updated 4 years ago
- A Clojure Ref/STM plugin for JRuby☆35Jan 20, 2012Updated 14 years ago
- A Python library to add reconstructed pronunciations of Middle Chinese on Chinese texts☆11Mar 13, 2023Updated 2 years ago
- DEPRECATED☆24Oct 13, 2020Updated 5 years ago
- Programming Language Foundations in Lean☆48Jul 22, 2025Updated 7 months ago
- A library for genericly composing/lifting operations in a stack of monadic contexts☆16Jan 25, 2015Updated 11 years ago
- An implementation of Google QUIC transport layer protocol for the Akka toolkit.☆12Aug 8, 2022Updated 3 years ago
- Auto math prover.☆11Jul 10, 2024Updated last year
- Lean coding problem solving challenge website with proof verification☆13Jul 8, 2025Updated 7 months ago
- A template project for use with cargo-generate☆13Nov 7, 2023Updated 2 years ago
- Formalising lecture notes from 1st year Imperial Mathematics course.☆14May 18, 2020Updated 5 years ago
- ☆10May 27, 2025Updated 9 months ago
- Continuous functions formalized in Lean4. A students project accompanied by a YouTube video.☆17Jul 10, 2025Updated 7 months ago
- 🍔 Chen’s Private Cuisine Menu☆10Jan 4, 2026Updated 2 months ago
- ☆11Mar 20, 2025Updated 11 months ago
- A terminal text editor written in MoonBit☆11Apr 7, 2025Updated 10 months ago