Pinned Loading

1. lean4-alloy lean4-alloy Public

   Write C shims from within Lean code.

   Lean 66 17

2. lean4-partax lean4-partax Public

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

   Lean 10

3. lean4-papyrus lean4-papyrus Public

   An LLVM interface for Lean 4. (WIP)

   Lean 22 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 4 1

6. lyre lyre Public

   Lean IR as Lean syntax

   Lean