Lean
5 items across the graph — tagged with Lean.
From the graph · 5
repo
voxel51/fiftyone
→repoRefine high-quality datasets and visual AI models
skrub-data/skrub
→repoMachine learning with dataframes
benseverndev-oss/goldenmatch
→repoZero-config entity resolution & record linkage. The zero-tuning Fellegi-Sunter path beats hand-tuned Splink head-to-head and scales from a CSV to a verified 100…
midspiral/LemmaScript
→repoverification toolchain for TypeScript (Tech Preview)
pisanuw/ltms
→A logic-based Truth Maintenance System (LTMS) and pattern-directed reasoning engine in pure Python, after Forbus & de Kleer's Building Problem Solvers. Docs: ht…