Pinned Loading

1. lean4-alloy lean4-alloy Public

   Write C shims from within Lean code.

   Lean 51 15

2. lean4-partax lean4-partax Public

   Lean 4 library of tools for parsing and compiling syntax and parser definitions.

   Lean 8

3. lean4-papyrus lean4-papyrus Public

   An LLVM interface for Lean 4. (WIP)

   Lean 15 3

4. lean4-itertools lean4-itertools Public

   A Lean 4 library for iterators.

   Lean 11

5. folktale folktale Public

   Knights and Knaves logic puzzles formalized in Lean 4.

   Lean 3 1

6. lyre lyre Public

   Lean IR as Lean syntax

   Lean