Skip to content

Comment on Coq 8.13parent

Comments

I fear I may have phrased my question poorly. I can understand why you'd gravitate toward there now, I'm more generally curious about how that specialisation came to be in the first place. Was there a specific catalyst? A person or event perhaps.

For example, from my Wikipedia trail I see Maurice Nivat come up in the adviser camp for a few of the more current names.

AboutSource Built by g1lg1l

Hackerly is an independent reader for Hacker News, built on the public HN API. Not affiliated with Y Combinator.