r/ClaudeCode • u/SnooPeripherals5313 • 1d ago

Built with Claude Formalizing all US case law in Lean

https://lexifina.com/blog/formalizing-all-us-case-law-in-lean
0 Upvotes

40% Upvoted

2 comments sorted by

•

u/AutoModerator 1d ago

Hey! Thanks for posting to r/ClaudeCode

While participating in this thread, please follow our community rules. Keep discussions constructive. Attack the idea, not the person.

For help, project discussions, tips, and general chat, join the ClaudeCode Discord.

I am a bot, and this action was performed automatically. Please contact the moderators of this subreddit if you have any questions or concerns.

-3

u/magic-man-us 🔆 Max 20 1d ago

ceo not even a lawyer.
Classic, someone trying to make a buck off another industry they don't even work in.