ReflexiveQuery

$$ {{∀ x ∈ X : x R x}} $$

Name		Name	Last commit message	Last commit date
Latest commit History 39 Commits
.nova		.nova
src		src
tests		tests
.editorconfig		.editorconfig
.gitattributes		.gitattributes
.gitignore		.gitignore
.php_cs.dist		.php_cs.dist
LICENSE		LICENSE
README.md		README.md
composer.json		composer.json
doxygen		doxygen
phpunit.xml		phpunit.xml
psalm.xml		psalm.xml

Provide feedback