- Redmond, WA
Block or Report
Block or report bterlson
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseStars
Language: Coq
All languages
Bicep
C
C#
C++
Coq
HTML
JavaScript
Less
PowerShell
Python
Ruby
Shell
TypeScript
Nothing to show
Sort by: Most stars
1
star
written in Coq
Clear filter
A Coq specification of ECMAScript 5 (JavaScript) with verified reference interpreter