Skip to content

epfl-systemf/verified-bootstraping

BranchesTags
 
 

Folders and files

NameName
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

Resources

Readme
Activity
Custom properties

Stars

0 stars

Watchers

0 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

 
 
 

Contributors

Languages

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