LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

Standard ML

cakeml

CakeML: A Verified Implementation of ML

Standard MLEmerging

Stars

—

Forks

—

Contributors

8

Last push

1mo ago

Recent commits

Latest commits.

Maybe fix translation of previous
2304cd8Thomas Sewell23mo ago
pancake: also for pan_to_wordProofScript
a6ce4dfThomas Sewell23mo ago
Fix tab characters in previous, oops
dd3fa3bThomas Sewell23mo ago
pancake: patch crep_to_loop to use static Call
83ae35fThomas Sewell23mo ago
Adjust translations of toSortedAList
6cdeb10Magnus Myreen23mo ago

Make a theorem name unambiguous

1791142Magnus Myreen23mo ago

Merge pull request #1012 from CakeML/candle-record-patterns

35bbb54myreen24mo ago

Fix record example test (add missing ;)

9a4856cOskar Abrahamsson24mo ago

Top contributors

Builders behind this project.

oskarabrahamsson