Timeline for Can a type system serve as a proof assistant for foreign functions?
Current License: CC BY-SA 3.0
2 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Mar 3, 2017 at 22:34 | vote | accept | dukereg | ||
| Mar 3, 2017 at 11:12 | history | answered | gallais | CC BY-SA 3.0 |