Change "there exists valuation" to "there exists a valuation" - Githubissues

achlipala / frap

Formal Reasoning About Programs

Other

665 stars 83 forks source link

Change "there exists valuation" to "there exists a valuation" #53

Closed cpitclaudel closed 3 years ago