alt
Hacker News
erichocean
•
today at 3:54 PM
•
0 replies
•
view on HN
Getting the AI to work with Rocq is a useful goal, Lean has been useful so far.
alt Hacker News