Mirror (Self)

Verification system for effectful programs - FStarLang

VCS #Forks Repository
GitHub GitHub 237 https://github.com/FStarLang/FStar

Contact information

Mail to Andreas Kupries