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
27 days ago
Refresh default branch
Refresh
data/mathematica/5.tex
Summary
Maintainability
Test Coverage
Issues
Source
Stats
Issues
\forall x \, \forall y \, P(x,y) \Leftrightarrow \forall y \, \forall x \, P(x,y)