README.md 131 Bytes
Newer Older
Heiko Becker's avatar
Heiko Becker committed
1
2
3
# Icing

A new, nondeterministic floating-point source semantics and a proof-of-concept connection to the CakeML verified compiler.