cakeml.org

Total Links

Wikipedia Pages

Subdomains

Cooking & Recipes Baked Goods

Wikipedia Pages Linking to cakeml.org

HOL (proof assistant)

2 links on this page

ML (programming language)

1 links on this page

Standard ML

1 links on this page

Logic for Computable Functions

1 links on this page

Compiler correctness

1 links on this page

https://cakeml.org

Anchor text: CakeML, a read-eval-print loop version of ML with formally verified runtime and translation to assembler

https://cakeml.org/

Anchor text: CakeML

https://cakeml.org/candle.html

Anchor text: Candle

https://cakeml.org/

https://cakeml.org/

https://cakeml.org/

Anchor text: CakeML: A Verified Implementation of ML