bootstrap

May 16, 2025

c632358 · May 16, 2025

Name	Name	Last commit message	Last commit date
parent directory ..
compilation	compilation	Merge remote-tracking branch 'origin/master' into ssa_fix	Dec 10, 2024
translation	translation	Missed function name update in translation	May 16, 2025
README.md	README.md	New policy: no readmePrefix in dirs without Holmakefile	Nov 17, 2018

README.md

Theories that perform proof-grounded bootstrapping of the CakeML compiler in HOL.