A Lean 4 formalization of Pólya enumeration theorem.
☆21Jun 6, 2025Updated 9 months ago
Alternatives and similar repositories for polya-enumeration-theorem
Users that are interested in polya-enumeration-theorem are comparing it to the libraries listed below
Sorting:
- ☆16Aug 2, 2023Updated 2 years ago
- ☆14Jun 7, 2024Updated last year
- A Cheat Sheet for Coq Developers who want to try LeanProver☆19Jul 25, 2023Updated 2 years ago
- Mirror of ocaml-forester☆50Jun 18, 2024Updated last year
- An experimental language server for SomewhatML☆24Dec 30, 2022Updated 3 years ago
- A game introducing proofs, dependent type theory, and Lean prepared for a first year seminar course at Johns Hopkins in Fall 2025.☆55Dec 29, 2025Updated 2 months ago
- Based on paper by Greg Morrisett , TAL-0 is the design of a RISC-style typed assembly language which focuses on control-flow safety.☆23Dec 14, 2016Updated 9 years ago
- An esoteric RPN golfing language☆24Sep 3, 2022Updated 3 years ago
- Lang Party 2022☆25Nov 7, 2022Updated 3 years ago
- Essentials of Programming Languages, with OCaml implementations & Coq proofs☆32Jan 13, 2017Updated 9 years ago
- Archived since the contents have been moved to the Hydras & Co. repository☆30Oct 23, 2022Updated 3 years ago
- A mechanisation of Wasm in Isabelle.☆32Feb 13, 2026Updated 3 weeks ago
- A compiler and runtime for normalizing the untyped λ-calculus☆32Jan 11, 2022Updated 4 years ago
- ♾️ A library for universe levels and universe polymorphism☆37Nov 21, 2025Updated 3 months ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆43Feb 14, 2026Updated 2 weeks ago
- ☆13Updated this week
- ☆11Oct 25, 2024Updated last year
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated last year
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- Fast and clean schedule generator for IUers!☆12Jan 5, 2023Updated 3 years ago
- Automatially unzip files added to a specified directory☆14Mar 12, 2022Updated 3 years ago
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Download Visual studio code vsix package☆11May 18, 2018Updated 7 years ago
- ☆12Mar 13, 2025Updated 11 months ago
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆47Feb 26, 2026Updated last week
- A basic Lean implementation of https://arxiv.org/pdf/2310.01530.pdf☆15Mar 27, 2025Updated 11 months ago
- Extra and extended datatypes for Lean 4☆12Nov 12, 2022Updated 3 years ago
- ☆12May 9, 2015Updated 10 years ago
- Binaryen bindings for Racket☆11Oct 20, 2021Updated 4 years ago
- egraph on top of sqlite☆13Mar 8, 2022Updated 3 years ago
- Library implementation of "Generic description of well-scoped, well-typed syntaxes"☆12Mar 25, 2018Updated 7 years ago
- Minimalist compiler course, based on Essential of Compilation☆11Updated this week
- A regular expression parser written in JavaScript☆10Feb 24, 2021Updated 5 years ago
- ☆13Mar 2, 2015Updated 11 years ago
- Survey on materials that touch on the history of Lambda Calculus☆12Sep 13, 2020Updated 5 years ago