Hacker News new | ask | show | jobs
V2 Editor (2025) (oktana.dev)
1 points by rapnie 4 days ago
1 comments
saurabhsinghvi 4 days ago
It would be amazing if someone could combine this and https://proofeditor.ai/ features.
link