tanmitch

↗ HN profile [ 16.2 ms ] full profile

Karma: 2
Created: August 5, 2017 (8y ago)
Submissions: 0

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…

8y ago · view thread · ↗