Mirror (Self)

Verification system for effectful programs - FStarLang

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

Contact information

Mail to Andreas Kupries