Yeah what would be ideal is if theorem provers were more usable and then this wouldn’t be an issue (although of course there’s still the issue of library code vs. from scratch code but this seems easier to deal with).
Memorizing a proof seems fine (in the same way that I assume you end up basically memorizing the game map if you do a speedrun).
Yeah what would be ideal is if theorem provers were more usable and then this wouldn’t be an issue (although of course there’s still the issue of library code vs. from scratch code but this seems easier to deal with).
Memorizing a proof seems fine (in the same way that I assume you end up basically memorizing the game map if you do a speedrun).