formal - LLM-driven property checker for code, backed by Lean 4 and Mathlib

reddit-claudeai · www.reddit.com ·2 replies ↗ ·2d

claude-codeclaude

open →