Mirror (Self)

Verification system for effectful programs - FStarLang

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

Contact information

Mail to Andreas Kupries