alt
Hacker News
Rapzid
•
last Thursday at 7:40 AM
•
0 replies
•
view on HN
Sounds like it's time for your LLM daddy to have the Coq talk with you..
alt Hacker News