Code Climate
Product
Browser Extension
Features
Pricing
Developers
Sign up
Login
ag-gipp/GoUldI
View on GitHub
Star
Overview
Progress
Issues
Code
Filters
Trends
Last
master
build
See recent builds
28 days ago
Refresh default branch
Refresh
data/mathematical/68.mml
Summary
Maintainability
Test Coverage
Issues
Source
Stats
Issues
$ P_x = P - \{ a\mid a \geq x\} $