I suppose there's meaning in searching for abstract logical truths, but he might have other such pursuits. Or, he might even feel that it's mostly done already and became just another boring software maintenance project.

It's hard to imagine an extremely niche software tool to be the greatest meaning in someone's life.