3 ms·
In Coq to Rust Program Extraction https://news.ycombinator.com/item?id=12183095 https://news.ycombinator.com/item?id=12183095 , I saw some useful comments abou
by tanmitch 9y ago
In Coq to Rust Program Extraction https://news.ycombinator.com/item?id=12183095 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 https://github.com/rust-lang/rfcs/issues/667 )