compiler-bootstrap. A work-in-progress reimplementation of Dafny's compiler, in Dafny

github.com/dafny-lang/compiler-bootstrap

Problem

Audience

Updates

No founder updates yet. Check back soon.