News for hackers. Stuff that matters.

A comment on A formalization of category theory in Coq. Parent comment

Re:A formalization of category theory in Coq by tanmitch on Friday August 04, 2017 @08:34PM (#14933530)
In Coq to Rust Program Extraction https://news.ycombinator.com/item?id=12183095 , I saw some useful comments about its foundations.

(And for a bit more about Coq to Rust, Program extraction from Coq https://github.com/rust-lang/rfcs/issues/667 )

[ Parent | on HN ]

There are no comments on this comment yet.