Luka-O / polya-enumeration-theoremView external linksLinks
A Lean 4 formalization of Pólya enumeration theorem.
☆21Jun 6, 2025Updated 8 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☆49Jun 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.☆52Dec 29, 2025Updated last month
- 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 6, 2026Updated last week
- A compiler and runtime for normalizing the untyped λ-calculus☆32Jan 11, 2022Updated 4 years ago
- ♾️ A library for universe levels and universe polymorphism☆36Nov 21, 2025Updated 2 months ago
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆43Dec 3, 2025Updated 2 months ago
- A Lean 4 formalization of partial combinatory algebras.☆14Jan 6, 2025Updated last year
- Fast and clean schedule generator for IUers!☆11Jan 5, 2023Updated 3 years ago
- ☆11Oct 25, 2024Updated last year
- ☆14Updated this week
- use an LLM to translate purpose-statements into code to evaluate their quality☆11Apr 3, 2024Updated last year
- Create string diagrams with LaTeX!☆14Jan 3, 2025Updated last year
- Experimenting on ornamentation in Agda via reflection.☆12Jul 1, 2023Updated 2 years ago
- (CL)S - Combinatory Logic Synthesizer☆12Oct 1, 2021Updated 4 years ago
- Automatially unzip files added to a specified directory☆13Mar 12, 2022Updated 3 years ago
- Formalization of Arithmetization of Mathematics/Metamathematics☆13Mar 8, 2025Updated 11 months ago
- ☆12Mar 13, 2025Updated 11 months ago
- Complexity analysis in Lean☆10Feb 5, 2024Updated 2 years ago
- A server for the forester tool☆17Dec 10, 2024Updated last year
- Regular Language Representations in Coq [maintainers=@chdoc,@palmskog]☆47Apr 23, 2025Updated 9 months ago
- Adds a `with_retry` block for writing `with` statements that are automatically retried.☆11May 22, 2019Updated 6 years ago
- ☆12May 9, 2015Updated 10 years ago
- Metamath logic game☆10Apr 16, 2025Updated 9 months ago
- Cowboy middleware supporting Cross-Origin Resource Sharing (CORS)☆13Dec 27, 2016Updated 9 years ago
- ☆12Jan 25, 2022Updated 4 years ago
- Experimental implementation of a Cubical Type Theory modeled by presheaves over posets☆13Aug 19, 2024Updated last year
- ☆12Jun 7, 2024Updated last year
- Faceted execution in Racket☆11Sep 11, 2018Updated 7 years ago
- Using Forester, We are attempting to resurrect and grow the since deleted model theory wiki and give it a better foundation for future gr…☆16Jun 8, 2025Updated 8 months ago
- The Delphin Project☆10Aug 19, 2016Updated 9 years ago