CakeML/cakeml

CakeML: A Verified Implementation of ML

Standard MLStars 1099Forks 91Watchers 1099Open issues 210License BSD 3-Clause "New" or "Revised" License

Details

仓库信息

OwnerCakeML

Last pushed2025-12-14

Last updated2025-12-15

Issues fetched at—

Community at a glance