Writing with github copilot
I've been using github copilot for a while now to write philosophy and logic texts. It's definitely useful for more technical writing. Here you can see how it fills in a clause in a proof by induction:
Comments
No comments yet.