245 followers
'Experience Implementing a Performant Category-Theory Library in Coq (2014)' by adamnemecek Read more about this story here --> https://t.co/EpR20nDmpj
'Experience Implementing a Performant Category-Theory Library in Coq (2014)' by adamnemecek Read more about this story here --> https://t.co/EpR20nDmpj
@XenaProject @pruvisto @AngelikiKoutso1 As you have pointed out, there is a formalization in Coq : https://t.co/MBXq1oRofH
@Iceland_jack @etorreborre See here https://t.co/62InyMFfuN for a more detailed discussion on some of the tradeoffs involved.
RT @onepaperperday: "Experience Implementing a Performant Category-Theory Library in Coq": https://t.co/8zBbmbmdCN #coq #ct #2014