/while

While programming language formalized in CoQ

Primary LanguageCoq

This repository is not active