epfl-systemf / verified-bootstraping Public

forked from myreen/imp_bootstrap

Notifications You must be signed in to change notification settings
Fork 0
Star 0

Verified bootstrapping of an imperative compiler

0 stars 2 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 120 Commits
coq		coq
hol		hol
.gitignore		.gitignore
.gitmodules		.gitmodules
README.md		README.md

Repository files navigation

Verified Bootstrapping of a Compiler for an Imperative Language

About

Verified bootstrapping of an imperative compiler

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages

Rocq Prover 55.7%
Assembly 24.4%
Standard ML 18.0%
Makefile 1.7%
Vyper 0.2%