| | CakeML: A formally verified implementation of ML (cakeml.org) |
| 4 points by fanf2 on May 14, 2024 | past |
|
| | CakeML – A Verified Implementation of ML (cakeml.org) |
| 1 point by Vedor on June 5, 2023 | past |
|
| | CakeML: A Verified Implementation of ML (cakeml.org) |
| 3 points by rscho on Feb 5, 2021 | past |
|
| | Verified Compilation on a Verified Processor [pdf] (cakeml.org) |
| 47 points by matt_d on June 2, 2019 | past | 1 comment |
|
| | CakeML – A Verified Implementation of ML (cakeml.org) |
| 99 points by tosh on Nov 20, 2018 | past | 24 comments |
|
| | Cake ML (cakeml.org) |
| 2 points by tosh on June 11, 2018 | past |
|
| | Cake ML (cakeml.org) |
| 1 point by tosh on March 30, 2018 | past |
|
| | CakeML – A Verified Implementation of ML (cakeml.org) |
| 163 points by setori88 on Jan 1, 2017 | past | 37 comments |
|
