Pinned Loading

1. lean-tables lean-tables Public

   A dependently-typed tables library, written in Lean 4, based on the Brown Benchmark for Table Types (B2T2).

   Lean 4 1