Personal Lemmy
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
eifachposteMB to AI (Reddit RSS)English · 4 days ago

Using Claude Code to auto-formalize proofs using feedback from a Lean engine

spec.workers.io

external-link
message-square
0
link
fedilink
1
external-link

Using Claude Code to auto-formalize proofs using feedback from a Lean engine

spec.workers.io

eifachposteMB to AI (Reddit RSS)English · 4 days ago
message-square
0
link
fedilink

Original Reddit post

Originally posted by u/MightConscious on r/ClaudeCode

alert-triangle
You must log in or # to comment.

AI (Reddit RSS)

ai_reddit

Subscribe from Remote Instance

Create a post
You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !ai_reddit@lemmy.durstig.online

AI (Reddit RSS Feed)

Visibility: Public
globe

This community can be federated to other instances and be posted/commented in by their users.

  • 18 users / day
  • 108 users / week
  • 308 users / month
  • 360 users / 6 months
  • 1 local subscriber
  • 21 subscribers
  • 5.78K Posts
  • 98 Comments
  • Modlog
  • mods:
  • eifachposte
  • BE: 0.19.15
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org