← Back to context

Comment by nickysielicki

2 hours ago

I mean git commit by git commit. Which is how it looks when you use the right tool, eg: lean4

0 comments

nickysielicki

Reply

No comments yet

Contribute on Hacker News ↗