Pinned Loading

1. lean-egg lean-egg Public

   A (WIP) equality saturation tactic for Lean based on egg.

   Lean 41 2

2. lf-lang/reactor-model lf-lang/reactor-model Public

   A Lean-based formalization of the Reactor model.

   Lean 5

3. lean-snakebird lean-snakebird Public

   An implementation of Snakebird in Lean.

   Lean 5

4. data-field data-field Public

   A SwiftUI view that wraps a text field to only accept specific data.

   Swift 13