GitHub repository: mzeher/TaylorApprover
Primary language: JavaScript
Description: 18.15.0 CT / 1.5.0 SPA Release (0316)